Record.Asttype 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; |
default_inhabitant_id : Names.Id.t option; |
}