Module Search.WorklistBFS

module WorklistBFS: sig .. end

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