in src/math_verify/parser.py [0:0]
def get_extraction_regexes( target_types: Sequence[ExtractionTarget],