(* kernel version: basic, relative, global *)
(* note : ufficial basic \lambda\delta *)
-module N = Level
+module N = Layer
module E = Entity
type uri = E.uri
type attrs = E.node_attrs
type bind = Void (* *)
- | Abst of N.level * term (* level, type *)
+ | Abst of N.layer * term (* layer, type *)
| Abbr of term (* body *)
and term = Sort of attrs * int (* attrs, hierarchy index *)