# Structure Listsort

Identifier index | Structure index
--- | ---

    (* Listsort *)

    val sort   : ('a * 'a -> order) -> 'a list -> 'a list
    val sorted : ('a * 'a -> order) -> 'a list -> bool

    (*
       [sort ordr xs] sorts the list xs in nondecreasing order, using the
       given ordering.  Uses Richard O'Keefe's smooth applicative merge
       sort.

       [sorted ordr xs] checks that the list xs is sorted in nondecreasing
       order, in the given ordering.
    *)

Identifier index | Structure index
--- | ---

Moscow ML 2.00