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 de3e44b..4defa43 100644 (file)
--- a/src/mail/vmail.sig
+++ b/src/mail/vmail.sig
@@ -24,10 +24,12 @@ signature VMAIL = sig
 
     datatype listing =
             Error of string
-          | Listing of string list
+          | 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
 
@@ -36,6 +38,6 @@ signature VMAIL = sig
 
     val rm : {domain : string, user : string} -> string option
 
-
+    val doChanged : unit -> bool
 
 end