datatype listing =
Error of string
- | Listing of string list
+ | Listing of {user : string, mailbox : string} list
val list : string -> listing
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