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