string -> string -> Pxp_dtd.dtd -> ['a Pxp_document.node #Pxp_document.extension as 'a] Pxp_document.node