module N = Level
type uri = E.uri
-type attrs = E.attrs
+type attrs = E.node_attrs
type bind = Void (* *)
| Abst of N.level * term (* level, type *)
let push e c a b = Cons (e, c, a, b)
let rec get i = function
- | Null -> Null, Null, [], Void
+ | Null -> Null, Null, E.empty_node, Void
| Cons (e, c, a, b) when i = 0 -> e, c, a, b
| Cons (e, _, _, _) -> get (pred i) e