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.