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.