V_______________________________________________________________ *)
val type_check:
- (BrgType.message -> 'a) -> (Brg.term -> Brg.entity -> 'a) ->
+ (BrgReduction.message -> 'a) -> (Brg.term -> Brg.entity -> 'a) ->
+ Status.status -> Brg.entity -> 'a
+
+val validate:
+ (BrgReduction.message -> 'a) -> (unit -> 'a) ->
Status.status -> Brg.entity -> 'a