\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-type uri = Item.uri
+type uri = Unit.uri
-type id = Item.id
+type id = Unit.id
type term = Sort of bool (* sorts: true = TYPE, false = PROP *)
| LRef of int * int (* local reference: local environment length, de bruijn index *)
(* entry: line number, parameters, name, type, (transparent?, body) *)
type entry = int * pars * uri * term * (bool * term) option
-type item = entry option
+type unit = entry option