1(*
2 *  util/general.sml  --  some generally useful utilities
3 *
4 *  COPYRIGHT (c) 1997 by Martin Erwig.  See COPYRIGHT file for details.
5 *)
6
7structure UGeneral =
8struct
9  fun id x = x
10  fun eq x y = x=y
11  fun neq x y = not (x=y)
12  infix 5 to
13  fun n to m = if n > m then [] else n::(n+1 to m)
14end
15