Module Subtyping_build_regexp

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