sig module type Slot = Tuple_type_intf.Slot module type Slots = Tuple_type_intf.Slots module Slots : Slots end