Dns.tries.end: def of bend-kit-dns@0.7.0.0
Import: import bend-kit-dns@0.7.0.0/dns.bend as Dns
Lines 486-492 of bend-kit-dns@0.7.0.0/dns.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-dns@0.7.0.0/dns.bend&start_line=486&end_line=492

import Base

def tries.end(st: Socket & Try) -> IO(Maybe<&2, String>):
  (s, t) = st
  match t:
    case Got{ip}:
      try.close(s, ip)
    case Again{}:
      try.close(s, None{})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-dns@0.7.0.0/dns.bend&name=Try
  https://jend.leeeet.dev/definition.txt?path=bend-kit-dns@0.7.0.0/dns.bend&name=try.close