Module Record.Ast
type t
=
{
name : Names.lident;
is_coercion : Vernacexpr.coercion_flag;
binders : Constrexpr.local_binder_expr list;
cfs : (Vernacexpr.local_decl_expr * Vernacexpr.record_field_attr) list;
idbuild : Names.Id.t;
sort : Constrexpr.constr_expr option;
}