Structure Arraysort


Identifier index Structure index

(* Arraysort -- Quicksort for arrays, from SML/NJ library *)

val sort   : ('a * 'a -> order) -> 'a Array.array -> unit
val sorted : ('a * 'a -> order) -> 'a Array.array -> bool

(* 
   [sort ordr arr] sorts array arr in-place, using ordering relation ordr.

   [sorted ordr arr] returns true if the elements of array arr is
   appear in (weakly) increasing order, according to ordering ordr.
*)


Identifier index Structure index


Moscow ML 2.10