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