(** left parameters, name, type, fields *)
| LetRec of induction_kind * ('term capture_variable list * 'term capture_variable * 'term * int) list * NCic.f_attr
(* (params, name, body, decreasing arg) list, attributes *)
(** left parameters, name, type, fields *)
| LetRec of induction_kind * ('term capture_variable list * 'term capture_variable * 'term * int) list * NCic.f_attr
(* (params, name, body, decreasing arg) list, attributes *)