Member predicate RegexString::alternationOption
Holds if the text in the range start,end is an alternation and the text in part_start, part_end is one of the options in that alternation.
Holds if the text in the range start,end is an alternation and the text in part_start, part_end is one of the options in that alternation.