Member predicate RegexString :: specialCharacter
Holds if a special character char
is between start
and end
.
predicate
specialCharacter
(
int
start
,
int
end
,
string
char
)