def resolve.read
import bend-kit-dns@0.7.0.0/dns.bend as Dnsimport Base
586def resolve.read(name: String, m: File & Result<&1, &1, U32 & String, String>) -> IO(Maybe<&2, String>):
587 (f, r) = m
588 do IO<Maybe<&2, String>>:
589 File.close(f)
590 resolve.list(name, nameservers(conf.text(r)))