extern type dnsRecord;
extern val dnsA : host -> ip -> dnsRecord;
+extern val dnsAAAA : host -> ipv6 -> dnsRecord;
extern val dnsCNAME : host -> domain -> dnsRecord;
extern val dnsMX : int -> domain -> dnsRecord;
extern val dnsNS : domain -> dnsRecord;
+extern val dnsTXT : host -> no_newlines -> dnsRecord;
+
+extern val dnsDefaultA : ip -> dnsRecord;
+extern val dnsDefaultAAAA : ipv6 -> dnsRecord;
extern val dns : dnsRecord -> [Domain] {TTL : int};