extern val dropTarget : aliasTarget;
{{Silently delete all mail to the associated source.}}
-extern val aliasPrim : aliasSource -> aliasTarget -> [Domain];
-{{Request redirection of all mail from the source to the target.}
+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.}}
-val alias = \user -> \email -> aliasPrim (userSource user) (addressTarget email);
+val emailAlias = \user -> \email -> aliasPrim (userSource user) (addressTarget email);
{{Redirect mail for the user at the current domain to the e-mail address.}}
val aliasMulti = \user -> \emails -> aliasPrim (userSource user) (addressesTarget emails);
{{Redirect mail for the user at the current domain to all of the e-mail
val defaultAlias = \email -> aliasPrim defaultSource (addressTarget email);
{{When a message to the current domain doesn't match any other alias, and it
- doesn't match any systemwide username, send it to this e-mail address
+ doesn't match any systemwide username, send it to this e-mail address.}}
val catchAllAlias = \email -> aliasPrim catchAllSource (addressTarget email);
{{When a message to the current domain doesn't match any other alias, send it
to this e-mail address, even if it matches a systemwide username.}}