sig
val mkxtype : Xquery_type_ast.xtype_desc -> Xquery_type_ast.xtype
val fmkxtype :
Xquery_type_ast.xtype_desc -> Finfo.finfo -> Xquery_type_ast.xtype
val mkstype_specifier :
Xquery_type_ast.stype_specifier_desc -> Xquery_type_ast.stype_specifier
val fmkstype_specifier :
Xquery_type_ast.stype_specifier_desc ->
Finfo.finfo -> Xquery_type_ast.stype_specifier
val mkctype_specifier :
Xquery_type_ast.ctype_specifier_desc -> Xquery_type_ast.ctype_specifier
val fmkctype_specifier :
Xquery_type_ast.ctype_specifier_desc ->
Finfo.finfo -> Xquery_type_ast.ctype_specifier
val mkissd :
Xquery_type_ast.xtype_declaration_desc ->
Xquery_type_ast.xtype_declaration
val fmkissd :
Xquery_type_ast.xtype_declaration_desc ->
Finfo.finfo -> Xquery_type_ast.xtype_declaration
val fmkschema :
Xquery_type_ast.xschema list ->
Xquery_common_ast.namespace_declaration list ->
Xquery_type_ast.xtype_declaration list -> Xquery_type_ast.xschema
end