Invariant.S3
type ('a, 'b, 'c) t
val invariant : ( 'a -> unit ) -> ( 'b -> unit ) -> ( 'c -> unit ) -> ( 'a, 'b, 'c ) t -> unit