Ast (rocq-runtime.Record.Ast)

type t = {

name : Names.lident;

is_coercion : Vernacexpr.coercion_flag;

binders : Constrexpr.local_binder_expr list;

cfs : (Vernacexpr.local_decl_expr * Data.projection_flags * Vernacexpr.notation_declaration list) list;

idbuild : Names.lident;

sort : Constrexpr.constr_expr option;

default_inhabitant_id : Names.Id.t option;

}