extern val dropTarget : aliasTarget;
{{Silently delete all mail to the associated source.}}
-extern val aliasPrim : aliasSource -> aliasTarget -> [Domain] {MailNodes: [node]};
+extern val aliasPrim : aliasSource -> aliasTarget -> [Domain] {MailNodes: [mail_node]};
{{Request redirection of all mail from the source to the target, specifying on
which nodes this redirection should be applied.}}
extern val domain : your_domain -> Domain => [Root] {DNS : dnsKind, TTL : int};
{{Configure a domain to which you have access rights.}}
+
+extern type mail_node;
+{{A node offering SMTP services}}
+extern val mail_node_to_node : mail_node -> node;
\ No newline at end of file
config
end;
+
+val nameserver = \host -> dns (dnsNS host);
+val dnsIP = \from -> \to -> dns (dnsA from to);
+val dnsMail = \num -> \host -> dns (dnsMX num host);
+val dnsAlias = \from -> \to -> dns (dnsCNAME from to);
{{Exim MTA configuration}}
-extern val handleMail : [Domain] {MailNodes: [node]};
+extern val handleMail : [Domain] {MailNodes: [mail_node]};
{{The specified nodes should handle mail for this domain.}}