sig
type ('variant, 'a) t
val equal :
('v, 'a) Tuple_type_intf.Slot.t ->
('v, 'a) Tuple_type_intf.Slot.t -> bool
val t0 : ([> `S0 of 'a ], 'a) Tuple_type_intf.Slot.t
val t1 : ([> `S1 of 'a ], 'a) Tuple_type_intf.Slot.t
val t2 : ([> `S2 of 'a ], 'a) Tuple_type_intf.Slot.t
val t3 : ([> `S3 of 'a ], 'a) Tuple_type_intf.Slot.t
val t4 : ([> `S4 of 'a ], 'a) Tuple_type_intf.Slot.t
val t5 : ([> `S5 of 'a ], 'a) Tuple_type_intf.Slot.t
val t6 : ([> `S6 of 'a ], 'a) Tuple_type_intf.Slot.t
val t7 : ([> `S7 of 'a ], 'a) Tuple_type_intf.Slot.t
val t8 : ([> `S8 of 'a ], 'a) Tuple_type_intf.Slot.t
val sexp_of_t :
('variant -> Sexplib.Sexp.t) ->
('a -> Sexplib.Sexp.t) ->
('variant, 'a) Tuple_type_intf.Slot.t -> Sexplib.Sexp.t
end