sig
val
import_dtd :
Pxp_dtd
.dtd
->
Xquery_type_ast
.xschema
end