Previous Contents Next

Module Sort

Interface for (functional) list-sorting.
module type SORT = 
   sig
     type elem
     val sortelem list ® elem list
   end
January 31, 2002
Previous Contents Next