X-Git-Url: http://git.hcoop.net/hcoop/zz_old/portal.git/blobdiff_plain/f1ea3762bc9df26700bba252f9491087211ebad1..ef48ed9eaeea982b8580c44c0027edff6abde4d8:/util.sig

diff --git a/util.sig b/util.sig
index a4f5b28..5a5697b 100644
--- a/util.sig
+++ b/util.sig
@@ -1,9 +1,32 @@
 signature UTIL =
 sig
+    val init : unit -> unit
+
+    datatype 'a flat_element =
+	     BEGIN
+	   | END
+	   | ITEM of 'a
+    type 'a flat_tree = 'a flat_element list
+
     val printInt : int -> unit
     val printReal : real -> unit
 
     val id : 'a -> 'a
     val makeSet : ('a -> string) -> 'a list -> string
     val neg : real -> real
-end
\ No newline at end of file
+    val add : real * real -> real
+    val mult : int * real -> real
+
+    val validHost : string -> bool
+    val validDomain : string -> bool
+    val validEmail : string -> bool
+    val whoisUrl : string -> string
+
+    val randomPassword : unit -> string
+
+    val domainDir : string -> string
+
+    val readFile : string -> string
+
+    val mem : ''a * ''a list -> bool
+end