(* Cons: tail, relative local environment, attrs, binder *)
| Cons of lenv * lenv * attrs * bind
-(* helpers ******************************************************************)
-
-let mk_uri si root s =
- let kernel = if si then "brg-si" else "brg" in
- String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
-
(* Currified constructors ***************************************************)
let abst n w = Abst (n, w)