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