(* kernel version: basic, absolute, global *)
(* note : experimental *)
-type uri = NUri.uri
-type id = Aut.id
+type uri = Common.uri
+type id = Common.id
type bind = Void (* exclusion *)
| Abst of term (* abstraction *)
| Appl of term * term (* argument, function *)
| Bind of int * id * bind * term (* location, name, binder, scope *)
-type obj = int * uri * bind (* age, uri, binder, contents *)
+type obj = bind Common.obj (* age, uri, binder *)
-type item = obj option
+type item = bind Common.item
type context = (int * id * bind) list (* location, name, binder *)