sig val normalize_regexp : bool -> Xquery_type_core_ast_annotation.letter_mappings -> Xquery_type_core_ast.cxschema -> Xquery_type_core_ast.cxtype -> Subtyping_glushkov.TypeName_Glushkov.Regexp.regexp end