diff options
| -rw-r--r-- | stdlib/set.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/set.mli b/stdlib/set.mli index ce3b497cd..32adf1f22 100644 --- a/stdlib/set.mli +++ b/stdlib/set.mli @@ -70,8 +70,8 @@ module type S = val inter: t -> t -> t (** Set intersection. *) - (** Set difference. *) val diff: t -> t -> t + (** Set difference. *) val compare: t -> t -> int (** Total ordering between sets. Can be used as the ordering function |