PhysicistsQueue

Definitions

data PhysicistsQueue : Type -> Type

Totality: total
Visibility: export
Constructor: 

PQ : List a -> Int -> Lazy (List a) -> Int -> List a -> PhysicistsQueue a

Hint: 

Queue PhysicistsQueue