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