X-Git-Url: https://git.hcoop.net/hcoop/zz_old/portal.git/blobdiff_plain/ff2b7604ffdbdae8ddd86c2a4366830ae9d32084..264421b02f9d7596f6ca891fab742b0639431296:/util.sig

diff --git a/util.sig b/util.sig
index 55b05c3..1f46916 100644
--- a/util.sig
+++ b/util.sig
@@ -1,5 +1,7 @@
 signature UTIL =
 sig
+    val init : unit -> unit
+
     datatype 'a flat_element =
 	     BEGIN
 	   | END
@@ -12,8 +14,22 @@ sig
     val id : 'a -> 'a
     val makeSet : ('a -> string) -> 'a list -> string
     val neg : real -> real
+    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
-end
\ No newline at end of file
+
+    val randomPassword : unit -> string
+
+    val domainDir : string -> string
+
+    val readFile : string -> string
+
+    val mem : ''a * ''a list -> bool
+
+    val allLower : string -> string
+    val normEmail : string -> string
+end