Module Environ.Globals
type ttype view={constants : constant_key Names.Cmap_env.t;inductives : mind_key Names.Mindmap_env.t;modules : Declarations.module_body Names.MPmap.t;modtypes : Declarations.module_type_body Names.MPmap.t;}