package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type constr_under_binders = Names.Id.t list * EConstr.constr
type patvar_map = EConstr.constr Names.Id.Map.t
type extended_patvar_map = constr_under_binders Names.Id.Map.t
and closed_glob_constr = {
  1. closure : closure;
  2. term : Glob_term.glob_constr;
}
type uconstr_var_map = closed_glob_constr Names.Id.Map.t
type unbound_ltac_var_map = Geninterp.Val.t Names.Id.Map.t
type ltac_var_map = {
  1. ltac_constrs : var_map;
  2. ltac_uconstrs : uconstr_var_map;
  3. ltac_idents : Names.Id.t Names.Id.Map.t;
  4. ltac_genargs : unbound_ltac_var_map;
}