sig
type ('a, 'kind) t
val invariant :
'a Core_kernel.Invariant_intf.inv ->
'b Core_kernel.Invariant_intf.inv ->
('a, 'b) t Core_kernel.Invariant_intf.inv
val sexp_of_t :
('a -> Sexplib.Sexp.t) ->
('kind -> Sexplib.Sexp.t) -> ('a, 'kind) Throttle.T2.t -> Sexplib.Sexp.t
end