Module Core_kernel.Pool.Slot

type ('variant, 'a) t

A Slot.t represents a slot in a tuple type.

include sig ... end
val sexp_of_t : ('variant ‑> Sexplib.Sexp.t) ‑> ('a ‑> Sexplib.Sexp.t) ‑> ('variant, 'a) t ‑> Sexplib.Sexp.t
val equal : ('v, 'a) t ‑> ('v, 'a) t ‑> Core_kernel__.Import.bool

ti is the i'th slot.

val t0 : ([> `S0 of 'a ], 'a) t
val t1 : ([> `S1 of 'a ], 'a) t
val t2 : ([> `S2 of 'a ], 'a) t
val t3 : ([> `S3 of 'a ], 'a) t
val t4 : ([> `S4 of 'a ], 'a) t
val t5 : ([> `S5 of 'a ], 'a) t
val t6 : ([> `S6 of 'a ], 'a) t
val t7 : ([> `S7 of 'a ], 'a) t
val t8 : ([> `S8 of 'a ], 'a) t
val t9 : ([> `S9 of 'a ], 'a) t
val t10 : ([> `S10 of 'a ], 'a) t
val t11 : ([> `S11 of 'a ], 'a) t
val t12 : ([> `S12 of 'a ], 'a) t
val t13 : ([> `S13 of 'a ], 'a) t