Tuple_pool.Tuple_type
Tuple-like types used in Pool
.
See Tuple_type_intf
for documentation.
module type Slot = sig ... end
module type Slots = sig ... end
Slots
has types t1
, ..., t12
of arities 1 to 12 that are isomorphic to tuple types of the corresponding arities. Type ('a0, ..., 'a<N-1>) t<N>
corresponds to 'a0 * ... * 'a<N-1>
.