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