domain d with
dns (dnsNS "ns1.hcoop.net");
dns (dnsNS "ns3.hcoop.net");
+ dns (dnsNS "ns5.hcoop.net");
dns (dnsA default (ip_of_node (web_node_to_node web_node)));
val dnsText = \from -> \to -> dns (dnsTXT (srv_literal from) to);
val dnsDefaultText = \to -> dns (dnsTXT srv_default to);
+val dnsWildcardIP = \to -> dns (dnsA wildcard to);