+
+val domNoDefaultAlias =
+ \ d : (your_domain) ->
+ \\ config : Domain ->
+ domNoWwwNoDefaultAlias d with
+ addWww;
+ config
+ end;
+
+val domNoWww =
+ \ d : (your_domain) ->
+ \\ config : Domain ->
+ domNoWwwNoDefaultAlias d with
+ config;
+ addDefaultAlias;
+ end;
+
+val dom =
+ \ d : (your_domain) ->
+ \\ config : Domain ->
+ domNoDefaultAlias d with
+ config;
+ addDefaultAlias;
+ 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);
+val dnsDefault = \to -> dns (dnsDefaultA to);