sig
  module Debug :
    functor
      (Flat_queue : 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 :
                        ?capacity:int ->
                        ('a, 'b) Slots.t -> ('a, 'b) Slots.t t
                      val capacity : 'a t -> int
                      val set_capacity : 'a t -> int -> unit
                      val length : 'a t -> int
                      val is_empty : 'a t -> bool
                      val get :
                        ('b, 'v) Slots.t t -> int -> ('v, 'a) Slot.t -> 'a
                      val unsafe_get :
                        ('b, 'v) Slots.t t -> int -> ('v, 'a) Slot.t -> 'a
                      val set :
                        ('b, 'v) Slots.t t ->
                        int -> ('v, 'a) Slot.t -> 'a -> unit
                      val unsafe_set :
                        ('b, 'v) Slots.t t ->
                        int -> ('v, 'a) Slot.t -> 'a -> unit
                      val drop_front : ?n:int -> 'a t -> unit
                      val clear : 'a t -> unit
                      val enqueue1 : 'a0 Slots.t1 t -> 'a0 -> unit
                      val enqueue2 :
                        ('a0, 'a1) Slots.t2 t -> 'a0 -> 'a1 -> unit
                      val enqueue3 :
                        ('a0, 'a1, 'a2) Slots.t3 t ->
                        'a0 -> 'a1 -> 'a2 -> unit
                      val enqueue4 :
                        ('a0, 'a1, 'a2, 'a3) Slots.t4 t ->
                        'a0 -> 'a1 -> 'a2 -> 'a3 -> unit
                      val enqueue5 :
                        ('a0, 'a1, 'a2, 'a3, 'a4) Slots.t5 t ->
                        'a0 -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> unit
                      val enqueue6 :
                        ('a0, 'a1, 'a2, 'a3, 'a4, 'a5) Slots.t6 t ->
                        'a0 -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> unit
                      val enqueue7 :
                        ('a0, 'a1, 'a2, 'a3, 'a4, 'a5, 'a6) Slots.t7 t ->
                        'a0 -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> unit
                      val enqueue8 :
                        ('a0, 'a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a7) Slots.t8 t ->
                        'a0 ->
                        'a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> unit
                      val enqueue9 :
                        ('a0, 'a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a7, 'a8)
                        Slots.t9 t ->
                        'a0 ->
                        'a1 ->
                        'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> 'a8 -> unit
                      val get_all_slots :
                        ('tuple, 'a) Slots.t t -> int -> 'tuple
                      val set_all_slots :
                        ('tuple, 'a) Slots.t t -> int -> 'tuple -> unit
                      val fold :
                        ('tuple, 'b) Slots.t t ->
                        init:'a -> f:('a -> 'tuple -> 'a) -> 'a
                      val iter :
                        ('tuple, 'a) Slots.t t -> f:('tuple -> unit) -> unit
                      val sexp_of_t :
                        ('slots -> Sexplib.Sexp.t) ->
                        'slots t -> Sexplib.Sexp.t
                    end) ->
      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 : ?capacity:int -> ('a, 'b) Slots.t -> ('a, 'b) Slots.t t
        val capacity : 'a t -> int
        val set_capacity : 'a t -> int -> unit
        val length : 'a t -> int
        val is_empty : 'a t -> bool
        val get : ('b, 'v) Slots.t t -> int -> ('v, 'a) Slot.t -> 'a
        val unsafe_get : ('b, 'v) Slots.t t -> int -> ('v, 'a) Slot.t -> 'a
        val set : ('b, 'v) Slots.t t -> int -> ('v, 'a) Slot.t -> 'a -> unit
        val unsafe_set :
          ('b, 'v) Slots.t t -> int -> ('v, 'a) Slot.t -> 'a -> unit
        val drop_front : ?n:int -> 'a t -> unit
        val clear : 'a t -> unit
        val enqueue1 : 'a0 Slots.t1 t -> 'a0 -> unit
        val enqueue2 : ('a0, 'a1) Slots.t2 t -> 'a0 -> 'a1 -> unit
        val enqueue3 :
          ('a0, 'a1, 'a2) Slots.t3 t -> 'a0 -> 'a1 -> 'a2 -> unit
        val enqueue4 :
          ('a0, 'a1, 'a2, 'a3) Slots.t4 t -> 'a0 -> 'a1 -> 'a2 -> 'a3 -> unit
        val enqueue5 :
          ('a0, 'a1, 'a2, 'a3, 'a4) Slots.t5 t ->
          'a0 -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> unit
        val enqueue6 :
          ('a0, 'a1, 'a2, 'a3, 'a4, 'a5) Slots.t6 t ->
          'a0 -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> unit
        val enqueue7 :
          ('a0, 'a1, 'a2, 'a3, 'a4, 'a5, 'a6) Slots.t7 t ->
          'a0 -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> unit
        val enqueue8 :
          ('a0, 'a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a7) Slots.t8 t ->
          'a0 -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> unit
        val enqueue9 :
          ('a0, 'a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a7, 'a8) Slots.t9 t ->
          'a0 -> 'a1 -> 'a2 -> 'a3 -> 'a4 -> 'a5 -> 'a6 -> 'a7 -> 'a8 -> unit
        val get_all_slots : ('tuple, 'a) Slots.t t -> int -> 'tuple
        val set_all_slots : ('tuple, 'a) Slots.t t -> int -> 'tuple -> unit
        val fold :
          ('tuple, 'b) Slots.t t -> init:'a -> f:('a -> 'tuple -> 'a) -> 'a
        val iter : ('tuple, 'a) Slots.t t -> f:('tuple -> unit) -> unit
        val sexp_of_t :
          ('slots -> Sexplib.Sexp.t) -> 'slots t -> Sexplib.Sexp.t
      end
end