sig
  module Slots : Tuple_type.Slots
  module Slot : Tuple_type.Slot
  type 'slots t
  val invariant : 'a Invariant_intf.inv -> 'a t Invariant_intf.inv
  val create :
    ('tuple, 'a) Slots.t ->
    len:int -> 'tuple -> ('tuple, 'a) Slots.t Flat_array.t
  val copy : 'slots Flat_array.t -> 'slots Flat_array.t
  val length : 'a Flat_array.t -> int
  val get : ('b, 'v) Slots.t Flat_array.t -> int -> ('v, 'a) Slot.t -> 'a
  val unsafe_get :
    ('b, 'v) Slots.t Flat_array.t -> int -> ('v, 'a) Slot.t -> 'a
  val set :
    ('b, 'v) Slots.t Flat_array.t -> int -> ('v, 'a) Slot.t -> 'a -> unit
  val unsafe_set :
    ('b, 'v) Slots.t Flat_array.t -> int -> ('v, 'a) Slot.t -> 'a -> unit
  val get_tuple : ('tuple, 'a) Slots.t Flat_array.t -> int -> 'tuple
  val sexp_of_t :
    ('slots -> Sexplib.Sexp.t) -> 'slots Flat_array.t -> Sexplib.Sexp.t
end