\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+IFDEF TYPE THEN
+
val type_check:
- (Bag.term -> Bag.entity -> 'a) -> Status.status -> Bag.entity -> 'a
+ (Bag.message -> 'a) -> (Bag.term -> Bag.entity -> 'a) ->
+ Layer.status -> Bag.entity -> 'a
+
+END