Ppconstr.CompactedDecltype t = | LocalAssum of (Environ.var_status option * Names.Id.t EConstr.binder_annot)
list
* EConstr.types| LocalDef of (Environ.var_status option * Names.Id.t EConstr.binder_annot) list
* EConstr.constr
* EConstr.typesval of_named_decl : Environ.var_status option -> EConstr.named_declaration -> tval to_tuple :
t ->
Names.Id.t EConstr.binder_annot list * EConstr.constr option * EConstr.types