![]() |
![]() |
![]() |
|
Fifo module provides first-in/first-out mutable queue. | |
type <'a>t; | |
Type of queues holding values of type 'a. | |
<'a>t create(); | |
Return freshly created empty queue. | |
bool empty(<'a>t q); | |
Return true iff q holds no elements. | |
void put(<'a>t q, 'a a); | |
Append a at the end of q. | |
'a get(<'a>t q); | |
Return first element of q. Element is then removed from queue. Raise Invalid_argument if q is empty. | |
'a peek(<'a>t); | |
Return first element of q. Queue is left unchanged. Raise Invalid_argument if q is empty. |