1 structure Apt
= Request(struct
3 val adminGroup
= "server"
4 fun subject _
= "Apt package installation request"
8 fun body (mail
, pkgs
) =
10 val pkgs
= String.tokens
Char.isSpace pkgs
11 val infos
= map (valOf
o AptQuery
.query
) pkgs
13 fun rightJustify (n
, s
) =
19 (Mail
.mwrite (mail
, " ");
27 (rightJustify (10, #name info
);
28 Mail
.mwrite (mail
, " ");
29 Mail
.mwrite (mail
, #descr info
);
30 Mail
.mwrite (mail
, "\n"))) infos