BankersDeque

Definitions

data BankersDeque : Type -> Type

Totality: total
Visibility: export
Constructor: 

BD : Int -> List a -> Int -> List a -> BankersDeque a

Hint: 

Deque BankersDeque