sig
  type +'a dq
  type 'a t = 'BatDeque.dq
  val size : 'BatDeque.dq -> int
  val empty : 'BatDeque.dq
  val cons : '-> 'BatDeque.dq -> 'BatDeque.dq
  val snoc : 'BatDeque.dq -> '-> 'BatDeque.dq
  val front : 'BatDeque.dq -> ('a * 'BatDeque.dq) option
  val rear : 'BatDeque.dq -> ('BatDeque.dq * 'a) option
  val rev : 'BatDeque.dq -> 'BatDeque.dq
  val is_empty : 'BatDeque.dq -> bool
  val at : ?backwards:bool -> 'BatDeque.dq -> int -> 'a option
  val map : ('-> 'b) -> 'BatDeque.dq -> 'BatDeque.dq
  val mapi : (int -> '-> 'b) -> 'BatDeque.dq -> 'BatDeque.dq
  val iter : ('-> unit) -> 'BatDeque.dq -> unit
  val iteri : (int -> '-> unit) -> 'BatDeque.dq -> unit
  val find :
    ?backwards:bool -> ('-> bool) -> 'BatDeque.dq -> (int * 'a) option
  val fold_left : ('-> '-> 'a) -> '-> 'BatDeque.dq -> 'a
  val fold_right : ('-> '-> 'b) -> 'BatDeque.dq -> '-> 'b
  val append : 'BatDeque.dq -> 'BatDeque.dq -> 'BatDeque.dq
  val append_list : 'BatDeque.dq -> 'a list -> 'BatDeque.dq
  val prepend_list : 'a list -> 'BatDeque.dq -> 'BatDeque.dq
  val of_list : 'a list -> 'BatDeque.dq
  val to_list : 'BatDeque.dq -> 'a list
  val of_enum : 'BatEnum.t -> 'BatDeque.dq
  val enum : 'BatDeque.dq -> 'BatEnum.t
  val print :
    ?first:string ->
    ?last:string ->
    ?sep:string ->
    ('BatInnerIO.output -> '-> unit) ->
    'BatInnerIO.output -> 'BatDeque.dq -> unit
  val t_printer : 'BatValue_printer.t -> 'BatDeque.t BatValue_printer.t
  val dq_printer : 'BatValue_printer.t -> 'BatDeque.t BatValue_printer.t
end