BankersQueue

Definitions

data BankersQueue : Type -> Type

Totality: total
Visibility: export
Constructor: 

BQ : Int -> OStream a -> Int -> OStream a -> BankersQueue a

Hint: 

Queue BankersQueue