Geography database

[hcoop/zz_old/portal.git] / util.sml

diff --git a/util.sml b/util.sml
index 39edd39..579482d 100644 (file)
--- a/util.sml
+++ b/util.sml
@@ -1,6 +1,12 @@
 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)