diff options
Diffstat (limited to 'stdlib/sort.mli')
| -rw-r--r-- | stdlib/sort.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/sort.mli b/stdlib/sort.mli index 545a0fad7..1378d0720 100644 --- a/stdlib/sort.mli +++ b/stdlib/sort.mli @@ -1,4 +1,4 @@ -(* Sorting and merging lists *) +(* Module [Sort]: sorting and merging lists *) val list : ('a -> 'a -> bool) -> 'a list -> 'a list (* Sort a list in increasing order according to an ordering predicate. |