Fix Mailman subscription by installing /usr/local/sbin/portalsub

[bpt/portal.git] / util.sig

diff --git a/util.sig b/util.sig
index 3bfaccc..1f46916 100644 (file)
--- a/util.sig
+++ b/util.sig
@@ -14,6 +14,8 @@ 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
@@ -21,4 +23,13 @@ sig
     val whoisUrl : string -> string
 
     val randomPassword : unit -> string
-end
\ No newline at end of file
+
+    val domainDir : string -> string
+
+    val readFile : string -> string
+
+    val mem : ''a * ''a list -> bool
+
+    val allLower : string -> string
+    val normEmail : string -> string
+end