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