08a84d09168a1a53ef837396bce2e96bcaccb2b6
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"))