summaryrefslogtreecommitdiff
path: root/stdlib/set.mli
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-12-06 15:46:34 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-12-06 15:46:34 +0000
commit04efd6349c3ae9ec61ec7320e04a3ee7fcc92ae2 (patch)
tree681dbcada0d2686662e2293443e4adc73e67d78f /stdlib/set.mli
parent08c71168bebfa24b3eef67fc1b95ba379b8b65c2 (diff)
downloadocaml-04efd6349c3ae9ec61ec7320e04a3ee7fcc92ae2.tar.gz
Omissions, typos dans les commentaires de doc.
Sys: rename avait ete oubliee... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/set.mli')
-rw-r--r--stdlib/set.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/set.mli b/stdlib/set.mli
index fbb62446d6..e359adab8a 100644
--- a/stdlib/set.mli
+++ b/stdlib/set.mli
@@ -33,7 +33,7 @@ module type OrderedType =
[f e1 e2] is strictly negative if [e1] is smaller than [e2],
and [f e1 e2] is strictly positive if [e1] is greater than [e2].
Examples: a suitable ordering function for type [int]
- is [prefix -]. You can also use the generic structural comparison
+ is [(-)]. You can also use the generic structural comparison
function [compare]. *)
module type S =