sig
  type +'a dq
  type 'a t = 'a BatDeque.dq
  type 'a enumerable = 'a t
  type 'a mappable = 'a t
  val size : 'a BatDeque.dq -> int
  val empty : 'a BatDeque.dq
  val cons : 'a -> 'a BatDeque.dq -> 'a BatDeque.dq
  val snoc : 'a BatDeque.dq -> 'a -> 'a BatDeque.dq
  val front : 'a BatDeque.dq -> ('a * 'a BatDeque.dq) option
  val rear : 'a BatDeque.dq -> ('a BatDeque.dq * 'a) option
  val eq : ?eq:('a -> 'a -> bool) -> 'a BatDeque.dq -> 'a BatDeque.dq -> bool
  val rev : 'a BatDeque.dq -> 'a BatDeque.dq
  val is_empty : 'a BatDeque.dq -> bool
  val at : ?backwards:bool -> 'a BatDeque.dq -> int -> 'a option
  val map : ('a -> 'b) -> 'a BatDeque.dq -> 'b BatDeque.dq
  val mapi : (int -> 'a -> 'b) -> 'a BatDeque.dq -> 'b BatDeque.dq
  val iter : ('a -> unit) -> 'a BatDeque.dq -> unit
  val iteri : (int -> 'a -> unit) -> 'a BatDeque.dq -> unit
  val find :
    ?backwards:bool -> ('a -> bool) -> 'a BatDeque.dq -> (int * 'a) option
  val fold_left : ('acc -> 'a -> 'acc) -> 'acc -> 'a BatDeque.dq -> 'acc
  val fold_right : ('a -> 'acc -> 'acc) -> 'a BatDeque.dq -> 'acc -> 'acc
  val append : 'a BatDeque.dq -> 'a BatDeque.dq -> 'a BatDeque.dq
  val append_list : 'a BatDeque.dq -> 'a list -> 'a BatDeque.dq
  val prepend_list : 'a list -> 'a BatDeque.dq -> 'a BatDeque.dq
  val rotate_forward : 'a BatDeque.dq -> 'a BatDeque.dq
  val rotate_backward : 'a BatDeque.dq -> 'a BatDeque.dq
  val of_list : 'a list -> 'a BatDeque.dq
  val to_list : 'a BatDeque.dq -> 'a list
  val of_enum : 'a BatEnum.t -> 'a BatDeque.dq
  val enum : 'a BatDeque.dq -> 'a BatEnum.t
  val print :
    ?first:string ->
    ?last:string ->
    ?sep:string ->
    ('a, 'b) BatIO.printer -> ('a BatDeque.dq, 'b) BatIO.printer
  val invariants : 'a BatDeque.t -> unit
end