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