\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-exception TypeError of string Lazy.t
+exception TypeError of (BrgReduction.context, Brg.term) Log.item list
val type_of: (Brg.term -> 'a) ->
Brg.hierarchy -> BrgReduction.context -> Brg.term -> 'a