Fixups

[hcoop/zz_old/domtool.git] / src / mlton_util.sig

(*
Domtool (http://hcoop.sf.net/)
Copyright (C) 2004-2005  Adam Chlipala

This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
*)

(* Utility functions for MLton programs *)

signature MLTON_UTIL =
sig
    val mergeSort : ('a * int) list -> ('a * int) list
    (* Sort the argument list in descending integer order. *)
end