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