\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+type message = (BrgReduction.kam, Brg.term) Log.message
+
val type_of:
- (Brg.term -> Brg.term -> 'a) -> ?si:bool ->
- Hierarchy.graph -> Brg.context -> Brg.term -> 'a
+ (message -> 'a) -> (Brg.term -> Brg.term -> 'a) ->
+ ?si:bool -> Hierarchy.graph -> BrgReduction.kam -> Brg.term -> 'a