X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/9ffe2f0fea48f1e2fa6a30b6a79b975b4a6f7671..2fc6b0dd10a94cf365b48df7fe6b0518e5dabdd1:/src/mail/vmail.sig?ds=sidebyside diff --git a/src/mail/vmail.sig b/src/mail/vmail.sig index a70e525..4804911 100644 --- a/src/mail/vmail.sig +++ b/src/mail/vmail.sig @@ -24,7 +24,7 @@ signature VMAIL = sig datatype listing = Error of string - | Listing of string list + | Listing of {user : string, mailbox : string} list val list : string -> listing