(* Cons: tail, relative local environment, binder *)
| Cons of lenv * lenv option * bind
(* Cons: tail, relative local environment, binder *)
| Cons of lenv * lenv option * bind
(* Currified constructors ***************************************************)
let abst a w = Abst (a, w)
(* Currified constructors ***************************************************)
let abst a w = Abst (a, w)