extern val dnsA : bind_pattern -> ip -> dnsRecord;
extern val dnsAAAA : bind_pattern -> ipv6 -> dnsRecord;
extern val dnsAFSDB : domain -> dnsRecord;
extern val dnsCNAME : bind_pattern -> domain -> dnsRecord;
extern val dnsMX : int -> domain -> dnsRecord;
extern val dnsNS : domain -> dnsRecord;
extern val dnsA : bind_pattern -> ip -> dnsRecord;
extern val dnsAAAA : bind_pattern -> ipv6 -> dnsRecord;
extern val dnsAFSDB : domain -> dnsRecord;
extern val dnsCNAME : bind_pattern -> domain -> dnsRecord;
extern val dnsMX : int -> domain -> dnsRecord;
extern val dnsNS : domain -> dnsRecord;