HoodMelvilleQueue

Definitions

data HoodMelvilleQueue : Type -> Type

Totality: total
Visibility: export
Constructor: 

HM : Int -> List a -> RotationState a -> Int -> List a -> HoodMelvilleQueue a

Hint: 

Queue HoodMelvilleQueue