Changes to support IMAP on hopper all compile but are not tested yet

[hcoop/domtool2.git] / src / mail / vmail.sig

diff --git a/src/mail/vmail.sig b/src/mail/vmail.sig
index 37e4ee0..4defa43 100644 (file)
--- a/src/mail/vmail.sig
+++ b/src/mail/vmail.sig
@@ -22,6 +22,14 @@ signature VMAIL = sig
 
     val rebuild : unit -> bool
 
+    datatype listing =
+            Error of string
+          | Listing of {user : string, mailbox : string} list
+
+    val list : string -> listing
+
+    val mailboxExists : {domain : string, user : string} -> bool
+
     val add : {domain : string, requester : string, user : string,
               passwd : string, mailbox : string} -> string option
 
@@ -30,4 +38,6 @@ signature VMAIL = sig
 
     val rm : {domain : string, user : string} -> string option
 
+    val doChanged : unit -> bool
+
 end