diff options
Diffstat (limited to 'stdlib/queue.mli')
| -rw-r--r-- | stdlib/queue.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/queue.mli b/stdlib/queue.mli index 867915bd0..c569ae7dc 100644 --- a/stdlib/queue.mli +++ b/stdlib/queue.mli @@ -36,7 +36,7 @@ val clear : 'a t -> unit (* Discard all elements from a queue. *) val length: 'a t -> int (* Return the number of elements in a queue. *) -val iter: ('a -> unit) -> 'a t -> unit +val iter: fun:('a -> unit) -> 'a t -> unit (* [iter f q] applies [f] in turn to all elements of [q], from the least recently entered to the most recently entered. The queue itself is unchanged. *) |