module Subtyping_build_regexp:sig
..end
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