def hosts.on_line

bend-kit-dns@0.7.0.0 · dns.bend:607

import Base

607def hosts.on_line(+name: String, ns: List<&2, String>) -> Bool:
608  match ns:
609    case Nil{}:
610      False{}
611    case Con{+n, t}:
612      Bool.or(String.eq(String.to_lower(n), name), hosts.on_line(name, t))