type message = (lenv, term) Log.item list
+(* helpers ******************************************************************)
+
+let mk_uri root s =
+ String.concat "/" ["ld:"; "bag"; root; s ^ ".ld"]
+
(* Currified constructors ***************************************************)
let abst w = Abst w