X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/dfb0d0d7748a9bd707705e0a676529a771366180..44a63d224a81da3c5d2c9e50a46b6af956c47c5f:/util.sig

diff --git a/util.sig b/util.sig
index c82c869..f8c38d4 100644
--- a/util.sig
+++ b/util.sig
@@ -15,6 +15,11 @@ sig
     val makeSet : ('a -> string) -> 'a list -> string
     val neg : real -> real
     val add : real * real -> real
+    val sub : real * real -> real
+    val mult : int * real -> real
+
+    val lt : real * real -> bool
+    val ge : real * real -> bool
 
     val validHost : string -> bool
     val validDomain : string -> bool
@@ -28,4 +33,9 @@ sig
     val readFile : string -> string
 
     val mem : ''a * ''a list -> bool
+
+    val allLower : string -> string
+    val normEmail : string -> string
+
+    val diffFromNow : Time.time -> string
 end