structure MsgTypes = struct
+datatype query =
+ QApt of string
+ (* Is this apt package installed? *)
+ | QCron of string
+ (* Is this user allowed to use cron? *)
+ | QFtp of string
+ (* Is this user allowed to use FTP? *)
+ | QTrustedPath of string
+ (* Is this user restricted to trusted-path executables? *)
+
datatype msg =
MsgOk
(* Your request was processed successfully. *)
| MsgYes
| MsgNo
(* Answers to boolean queries *)
- | MsgApt of string
- (* Is this apt package installed on your host? *)
+ | MsgQuery of query
+ (* Ask for host-specific information *)
end