element:string ->
name:string ->
Pxp_types.att_value ->
Pxp_dtd.dtd ->
['Pxp_document.node #Pxp_document.extension as 'a] Pxp_document.node