summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2003-11-21 18:22:50 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2003-11-21 18:22:50 +0000
commit14b6ff45075a15529de0af85de75edf170871fdc (patch)
tree1a1d22c8a27974c1b37cdf3fae4074363472da91
parent3c5005b99eebab18d15ddb2f1a28e935f4051aec (diff)
Doc compare
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5969 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/set.mli3
1 files changed, 1 insertions, 2 deletions
diff --git a/stdlib/set.mli b/stdlib/set.mli
index 4de837b24..d838a9f9c 100644
--- a/stdlib/set.mli
+++ b/stdlib/set.mli
@@ -34,8 +34,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].
Example: a suitable ordering function is the generic structural
- comparison function {!Pervasives.compare}, provided there are
- no floating-point NaN values in the data. *)
+ comparison function {!Pervasives.compare}. *)
end
(** Input signature of the functor {!Set.Make}. *)