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.}}