Pxp_dtd.namespace_manager ->
Pxp_dtd.namespace_scope option ->
(string * string) list -> Pxp_dtd.namespace_scope