(* helpers ******************************************************************)
-let mk_uri root s =
- String.concat "/" ["ld:"; "bag"; root; s ^ ".ld"]
+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 ***************************************************)