module Schema_norm:sig
..end
Normalize a Schema schema to XQuery core.
val normalize : Namespace_context.nsenv ->
Xquery_type_ast.xschema -> Xquery_type_core_ast.cxschema
val normalize_type : Namespace_context.nsenv ->
Xquery_type_ast.xschema ->
Xquery_type_ast.xtype -> Xquery_type_core_ast.cxtype
The input source schema is supposed to contain definitions for all the components that are referenced in it; in particular it must already contain all imported schemas.
Tasks performed by the normalization: