V_______________________________________________________________ *)
val type_check:
- (Bag.term option -> Bag.item -> 'a) -> ?si:bool ->
- Hierarchy.graph -> Bag.item -> 'a
+ (Bag.term option -> Bag.unit -> 'a) -> ?si:bool ->
+ Hierarchy.graph -> Bag.unit -> 'a