man Sort () - Sorting and merging lists.
NAME
Sort - Sorting and merging lists.
Module
Module Sort
Documentation
Module Sort : sig end
Deprecated. This module is obsolete and exists only for backward compatibility. The sorting functions in Array and List should be used instead. The new functions are faster and use less memory. Sorting and merging lists.
val list : ('a -> 'a -> bool) -> 'a list -> 'a list Sort a list in increasing order according to an ordering predicate. The predicate should return true if its first argument is less than or equal to its second argument.
val array : ('a -> 'a -> bool) -> 'a array -> unit Sort an array in increasing order according to an ordering predicate. The predicate should return true if its first argument is less than or equal to its second argument. The array is sorted in place.
val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list Merge two lists according to the given predicate. Assuming the two argument lists are sorted according to the predicate, merge returns a sorted list containing the elements from the two lists. The behavior is undefined if the two argument lists were not sorted.