Module Tuple_pool.Tuple_type
Tuple-like types used in Pool
.
See Tuple_type_intf
for documentation.
module type Slot = Tuple_pool__.Tuple_type_intf.Slot
module type Slots = Tuple_pool__.Tuple_type_intf.Slots
Tuple_pool.Tuple_type
Tuple-like types used in Pool
.
See Tuple_type_intf
for documentation.
module type Slot = Tuple_pool__.Tuple_type_intf.Slot
module type Slots = Tuple_pool__.Tuple_type_intf.Slots