Plasma GitLab Archive
Projects Blog Knowledge

Class Pxp_dtd.namespace_scope_impl

class namespace_scope_impl : namespace_manager -> namespace_scope option -> (string * string) list -> namespace_scope
An implementation of namespace_scope. New scopes are created by
 new namespace_scope_impl mng parent_opt decl 
where mng is the namespace managaer, parent_opt is the optional parent scope, and decl is the declaration list.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml