{{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};