Dns.list.one: def of bend-kit-dns@0.7.1.0
Import: import bend-kit-dns@0.7.1.0/dns.bend as Dns
Lines 379-380 of bend-kit-dns@0.7.1.0/dns.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-dns@0.7.1.0/dns.bend&start_line=379&end_line=380

import Base

def list.one(+x: String) -> List<&2, String>:
  x <> Nil{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String