extern val userSource : emailUser -> aliasSource;
{{The part appear before the "@" in your desired source address}}
extern val defaultSource : aliasSource;
-{{Matches any mail to this domain that doesn't match any other rule, with the
- exception of systemwide usernames like UNIX users.}}
-extern val catchAllSource : aliasSource;
-{{Matches any mail to this domain that doesn't match any other rule, even
- for systemwide usernames.}}
+{{Matches any mail to this domain that doesn't match any other rule.}}
extern type aliasTarget;
{{A place to redirect messages}}
{{Silently delete mail to the user at the current domain.}}
val defaultAlias = \email -> aliasPrim defaultSource (addressTarget email);
-{{When a message to the current domain doesn't match any other alias and isn't a
- UNIX 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
+{{When a message to the current domain doesn't match any other rule, send it to
this e-mail address.}}