sig
  type t = Ast.term BatDeque.t
  val empty : 'a BatDeque.dq
  val is_empty : 'a BatDeque.dq -> bool
  val add : 'a -> 'a BatDeque.dq -> 'a BatDeque.dq
  val add_list : 'a list -> 'a BatDeque.dq -> 'a BatDeque.dq
  val choose : 'a BatDeque.dq -> ('a * 'a BatDeque.dq) option
  val size : 'a BatDeque.dq -> int
end