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