(* Cons: tail, relative local environment, binder *)
| Cons of lenv * lenv option * bind
+(* helpers ******************************************************************)
+
+let mk_uri root s =
+ String.concat "/" ["ld:"; "brg"; root; s ^ ".ld"]
+
(* Currified constructors ***************************************************)
let abst a w = Abst (a, w)