module O = BrgOutput
module E = BrgEnvironment
-type machine = {
+type kam = {
c: B.lenv;
s: (B.lenv * B.term) list;
i: int
| e, _, b ->
f m (Some (e, b)) x
in
- E.get_obj C.err f uri
+ E.get_entry C.err f uri
| B.LRef (_, i) ->
let f c = function
| B.Abbr (_, v) ->
(* Interface functions ******************************************************)
-let empty_machine = {
+let empty_kam = {
c = B.empty_lenv; s = []; i = 0
}