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