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