Module Tuple_pool__.Tuple_type
module type Slot = Tuple_pool__.Tuple_type_intf.Slot
module type Slots = Tuple_pool__.Tuple_type_intf.Slots
Tuple_pool__.Tuple_type
module type Slot = Tuple_pool__.Tuple_type_intf.Slot
module type Slots = Tuple_pool__.Tuple_type_intf.Slots