(* vim: syntax=sml A structure for treating integers as ORDERED types. $Id: Integer.sml,v 1.1 2004/09/09 21:15:11 cstork Exp $ Copyright (c) 2003-2004 by Peter H. Froehlich . All rights reserved. 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. *) structure Integer: ORDERED = struct type t = int; fun compare x y = if x < y then LESS else if x = y then EQUAL else GREATER; end;