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