class namespace_scope_impl :An implementation ofnamespace_manager -> namespace_scope option -> (string * string) list ->
namespace_scope
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.