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