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
val passwd : {domain : string, user : string, passwd : string}
-> string option
- val rm : {domain : string, user : string} -> string option
+ val portalpasswd : {domain : string, user : string, oldpasswd : string, newpasswd : string}
+ -> string option
+ val rm : {domain : string, user : string} -> string option
+ val doChanged : unit -> bool
end