--- /dev/null
+{{DNS configuration for BIND}}
+
+extern type dnsRecord;
+
+extern val dnsA : host -> ip -> dnsRecord;
+extern val dnsCNAME : host -> domain -> dnsRecord;
+extern val dnsMX : int -> domain -> dnsRecord;
+extern val dnsNS : domain -> dnsRecord;
+
+extern val dns : dnsRecord -> [Domain] {TTL : int};