type item = bind Item.item
-type context = (int * id * bind) list (* location, name, binder *)
+type lenv = (int * id * bind) list (* location, name, binder *)
-type message = (context, term) Log.item list
+type message = (lenv, term) Log.item list
(* Currified constructors ***************************************************)
let locations () = !location
-(* context handling functions ***********************************************)
+(* local environment handling functions *************************************)
-let empty_context = []
+let empty_lenv = []
let push msg f es l id b =
let rec does_not_occur loc = function