Module `Cduce_core.Schema_converter`

val xsd : Ns.Uri.t
val is_xsd : (Ns.Uri.t * Encodings.Utf8.t) -> Stdlib.String.t -> bool
val complex_memo : (int, Typepat.node) Stdlib.Hashtbl.t
val xsd_any_type : Cduce_types.Types.t
val nil_type : Typepat.node
val mk_len_regexp : int -> int option -> Typepat.re -> Typepat.re
val mk_seq_derecurs : Cduce_types.Types.t -> Schema_types.facets -> Cduce_types.Types.t
val xsi_nil_type : Cduce_types.Types.t
val simple_type : Schema_types.simple_type_definition -> Cduce_types.Types.t
val attr_uses : (Schema_types.attribute_use list * 'a) -> Cduce_types.Types.t
val regexp_of_term : Schema_types.term -> Typepat.re
val wildcard : Schema_types.wildcard -> Typepat.node
val regexp_of_model_group : Schema_types.model_group -> Typepat.re
val regexp_of_particle : Schema_types.particle -> Typepat.re
val get_complex : Schema_types.complex_type_definition -> Typepat.node
val complex : bool -> Schema_types.complex_type_definition -> Typepat.node
val content : Schema_types.content_type -> Typepat.node
val elt_decl : Schema_types.element_declaration -> Typepat.node
val complex_type_def : bool -> Schema_types.type_definition -> Typepat.node
val model_group : Schema_types.model_group -> Typepat.node
val get_type : Typepat.node -> Cduce_types.Types.descr
val type_def : Schema_types.type_definition -> Cduce_types.Types.t
val elt_decl : Schema_types.element_declaration -> Cduce_types.Types.descr
val model_group : Schema_types.model_group_definition -> Cduce_types.Types.descr
val attr_group : Schema_types.attribute_group_definition -> Cduce_types.Types.t
val load_schema : string -> string -> Ns.Uri.t * (Cduce_types.Types.t * Schema_validator.t) Cduce_types.Ident.Env.t