\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-type message = (BrgReduction.kam, Brg.term) Log.message
+IFDEF TYPE THEN
val type_of:
- (message -> 'a) -> (Brg.term -> Brg.term -> 'a) ->
- Status.status -> BrgReduction.kam -> Brg.term -> 'a
+ (BrgReduction.message -> 'a) -> (Brg.term -> Brg.term -> 'a) ->
+ Layer.status -> BrgReduction.rtm -> Brg.term -> 'a
+
+END