exception TypeError of Brg.message
+type machine
+
+val empty_machine: machine
+
+val get: (Brg.attrs -> Brg.bind -> 'a) -> machine -> int -> 'a
+
+val push: (machine -> 'a) -> machine -> Brg.attrs -> Brg.bind -> 'a
+
(* arguments: expected type, inferred type, typed term *)
val assert_conversion:
(unit -> 'a) -> ?si:bool -> ?rt:bool ->
- Brg.context -> Brg.term -> Brg.term -> Brg.term -> 'a
+ machine -> Brg.term -> Brg.term -> Brg.term -> 'a
+
+val message1:
+ string -> machine -> Brg.term -> (Brg.context, Brg.term) Log.message