| LetIn of capture_variable * term * term
| LetRec of induction_kind * (capture_variable * term * int) list * term
| Ident of string * subst list option
| LetIn of capture_variable * term * term
| LetRec of induction_kind * (capture_variable * term * int) list * term
| Ident of string * subst list option