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