(* note : fragment of complete \lambda\delta serving as abstract layer *)
module C = Cps
-module N = Level
+module N = Layer
module E = Entity
type uri = E.uri
type id = E.id
type attrs = E.node_attrs
-type bind = Abst of N.level * term (* level, type *)
+type bind = Abst of N.layer * term (* layer, type *)
| Abbr of term (* body *)
| Void (* *)