1 structure Quota
= Request(struct
3 val adminGroup
= "server"
4 fun subject _
= "Disk quota change request"
6 val descr
= "Quota request"
8 fun body (mail
, data
) =
9 (Mail
.mwrite (mail
, "Request: ");
10 Mail
.mwrite (mail
, data
);
11 Mail
.mwrite (mail
, "\n"))