BootstrappedQueue

Definitions

data BootstrappedQueue : Type -> Type

Totality: total
Visibility: export
Constructors:

E : BootstrappedQueue a

Q : Int -> List a -> BootstrappedQueue (Lazy (List a)) -> Int -> List a -> BootstrappedQueue a

Hint: 

Queue BootstrappedQueue