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