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