Previous
Up
Next
Module
Dequeue
module
Dequeue:
sig
..
end
Dequeue
is deprecated, use
Deque
instead.
include
??