\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-exception TypeError of Bag.message
-
val type_of:
- (Bag.term -> Bag.term -> 'a) ->
+ (Bag.term -> Bag.term -> 'a) -> ?si:bool ->
Hierarchy.graph -> Bag.context -> Bag.term -> 'a