\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-exception TypeError of (BrgReduction.context, Brg.term) Log.item list
+exception TypeError of Brg.message
-val type_of: (Brg.term -> 'a) ->
- Brg.hierarchy -> BrgReduction.context -> Brg.term -> 'a
+val type_of:
+ (Brg.term -> Brg.term -> 'a) ->
+ Hierarchy.graph -> Brg.context -> Brg.term -> 'a
+
+val si: bool ref