def list.any

import bend-kit-dns@0.7.0.0/dns.bend as Dns

import Base

382def list.any(+xs: List<&2, String>) -> Bool:
383  match xs:
384    case Nil{}:
385      False{}
386    case Con{+_, +_}:
387      True{}

Uses (3)

Bool
List
String

Used by (0)

No other definition uses this definition.