BatchedQueue

Definitions

data BatchedQueue : Type -> Type

Totality: total
Visibility: export
Constructor: 

BQ : List a -> List a -> BatchedQueue a

Hint: 

Queue BatchedQueue