structure Util :> UTIL =
struct
+datatype 'a flat_element =
+ BEGIN
+ | END
+ | ITEM of 'a
+type 'a flat_tree = 'a flat_element list
+
fun printInt n =
Web.print (if n < 0 then
"-" ^ Int.toString (~n)
| [usr] => "(" ^ f usr ^ ")"
| usr::rest => foldl (fn (usr, s) => s ^ ", " ^ f usr) ("(" ^ f usr) rest ^ ")"
+fun neg (r : real) = ~r
+
end
\ No newline at end of file