diff options
author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-04-22 11:15:41 +0000 |
---|---|---|
committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1996-04-22 11:15:41 +0000 |
commit | 7974a9d8b1c8195130b2df216d6a102ca00cdf5b (patch) | |
tree | 3f51cdf262616b852002b94057a292618f522fca /stdlib/queue.mli | |
parent | 6b9559fabf7b4a669ff4b082a3eaacffd82f775f (diff) | |
download | ocaml-7974a9d8b1c8195130b2df216d6a102ca00cdf5b.tar.gz |
Extension objets.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 67ad405074..c8504b0153 100644 --- a/stdlib/queue.mli +++ b/stdlib/queue.mli @@ -21,7 +21,7 @@ type 'a t exception Empty (* Raised when [take] is applied to an empty queue. *) -val new: unit -> 'a t +val create: unit -> 'a t (* Return a new queue, initially empty. *) val add: 'a -> 'a t -> unit (* [add x q] adds the element [x] at the end of the queue [q]. *) |