Idris2Doc : BatchedQueue

BatchedQueue

(source)

Definitions

dataBatchedQueue : Type->Type
Totality: total
Visibility: export
Constructor: 
BQ : Lista->Lista->BatchedQueuea

Hint: 
QueueBatchedQueue