(* kernel version: basic, relative, global *)
(* note : ufficial basic lambda-delta *)
(* kernel version: basic, relative, global *)
(* note : ufficial basic lambda-delta *)
| Appl of attrs * term * term (* attrs, argument, function *)
| Bind of attrs * bind * term (* attrs, binder, scope *)
| Appl of attrs * term * term (* attrs, argument, function *)
| Bind of attrs * bind * term (* attrs, binder, scope *)
type lenv = Null
(* Cons: tail, relative local environment, attrs, binder *)
type lenv = Null
(* Cons: tail, relative local environment, attrs, binder *)