Member predicate RegexString :: charSetEnd
Holds if a top-level character set ends at pos
.
predicate
charSetEnd
(
int
pos
)