module N = Level
type uri = E.uri
-type id = E.id
type attrs = E.attrs
type bind = Void (* *)
(* Cons: tail, relative local environment, attrs, binder *)
| Cons of lenv * lenv * attrs * bind
-(* helpers ******************************************************************)
-
-let mk_uri si root s =
- let kernel = if si then "brg-si" else "brg" in
- String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
-
(* Currified constructors ***************************************************)
let abst n w = Abst (n, w)
let rec fold_right f map e x = match e with
| Null -> f x
| Cons (e, c, a, b) -> fold_right (map f e c a b) map e x
-
-(* used in MetaBrg.unwind_to_xlate_term *)
-let rec fold_left map x = function
- | Null -> x
- | Cons (e, _, a, b) -> fold_left map (map x a b) e