Internal.ViewView type only used by Serlib. Do not use otherwise.
type t = {env_constants : constant_key Names.Cmap_env.t; |
env_inductives : mind_key Names.Mindmap_env.t; |
env_modules : Mod_declarations.module_body Names.MPmap.t; |
env_modtypes : Mod_declarations.module_type_body Names.MPmap.t; |
env_named_context : named_context_val; |
env_rel_context : rel_context_val; |
env_universes : UGraph.t; |
env_qualities : Sorts.QVar.Set.t; |
env_symb_pats : Declarations.rewrite_rule list Names.Cmap_env.t; |
env_typing_flags : Declarations.typing_flags; |
}