Module Sort

Module Sort

Interface for (functional) list-sorting.
module type SORT =
   sig
     type elem
     val sort: elem list ® elem list
   end
Pages last (re-)generated October 28, 2002 (Martin Steffen)