X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1d3ef80ec822ea0fa241eb5485549ca7417e787f..9b8c6dc8df86d6ba1c7512cb12445912a9035a89:/src/mail/vmail.sig?ds=sidebyside diff --git a/src/mail/vmail.sig b/src/mail/vmail.sig index de3e44b..4defa43 100644 --- 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