def resolve.all.got
import bend-kit-dns@0.7.0.0/dns.bend as Dnsimport Base
668def resolve.all.got(r: Result<&1, &1, U32 & String, String>) -> IO(List<&2, String>):
669 match r:
670 case Fail{e}:
671 IO.pure(List<&2, String>, Nil{})
672 case Done{s}:
673 IO.pure(List<&2, String>, lookup.split(s))