\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-exception TypeError of BrgReduction.message
+type message = (BrgReduction.machine, Brg.term) Log.item list
+
+exception TypeError of message
val type_of:
(Brg.term -> Brg.term -> 'a) -> ?si:bool ->