Internal.ViewView type only used by Serlib. Do not use otherwise.
type t = {env_constants : Declarations.constant_body Names.Cmap_env.t; |
env_inductives : Declarations.mutual_inductive_body Names.Mindmap_env.t; |
env_modules : Mod_declarations.module_body Names.ModPath.Map.t; |
env_modtypes : Mod_declarations.module_type_body Names.ModPath.Map.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.machine_rewrite_rule list Names.Cmap_env.t; |
env_typing_flags : Declarations.typing_flags; |
}