diff options
Diffstat (limited to 'stdlib/stack.mli')
| -rw-r--r-- | stdlib/stack.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/stack.mli b/stdlib/stack.mli index a1133edcc..03463a1ec 100644 --- a/stdlib/stack.mli +++ b/stdlib/stack.mli @@ -1,4 +1,4 @@ -(* Stacks *) +(* Module [Stack]: stacks *) (* This modl implements stacks (LIFOs), with in-place modification. *) @@ -20,6 +20,6 @@ val clear : 'a t -> unit val length: 'a t -> int (* Return the number of elements in a stack. *) val iter: ('a -> 'b) -> 'a t -> unit - (* [iter f s] applies [f] in turn to all elements of [s], from the - element at the top of the stack to the element at the + (* [Stack.iter f s] applies [f] in turn to all elements of [s], + from the element at the top of the stack to the element at the bottom of the stack. The stack itself is unchanged. *) |