Module Core_kernel__.Tuple_type
module type Slot = Core_kernel__.Tuple_type_intf.Slotmodule type Slots = Core_kernel__.Tuple_type_intf.SlotsCore_kernel__.Tuple_typemodule type Slot = Core_kernel__.Tuple_type_intf.Slotmodule type Slots = Core_kernel__.Tuple_type_intf.Slots