(* helpers ******************************************************************)
-let mk_uri si root s =
- let kernel = if si then "crg-si" else "crg" in
- String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
-
let empty_lenv = ESort
let push_bind f lenv a b = f (EBind (lenv, a, b))