Index
| BankersDequeue | Data.Dequeue |
| Dequeue | Data.Dequeue |
| empty | Data.Dequeue |
| first | Data.Dequeue |
| fromList | Data.Dequeue |
| last | Data.Dequeue |
| length | Data.Dequeue |
| null | Data.Dequeue |
| popBack | Data.Dequeue |
| popFront | Data.Dequeue |
| prop_length_toList | Data.Dequeue |
| prop_length_toList_bq | Data.Dequeue |
| prop_pop_back_bq_balance | Data.Dequeue |
| prop_pop_front_bq_balance | Data.Dequeue |
| prop_pushpop_back | Data.Dequeue |
| prop_pushpop_back_bq | Data.Dequeue |
| prop_pushpop_front | Data.Dequeue |
| prop_pushpop_front_bq | Data.Dequeue |
| prop_push_back | Data.Dequeue |
| prop_push_back_bq | Data.Dequeue |
| prop_push_back_bq_balance | Data.Dequeue |
| prop_push_front | Data.Dequeue |
| prop_push_front_bq | Data.Dequeue |
| prop_push_front_bq_balance | Data.Dequeue |
| pushBack | Data.Dequeue |
| pushFront | Data.Dequeue |
| takeBack | Data.Dequeue |
| takeFront | Data.Dequeue |