def named

ezx@1.11.0.0 · src/ws/workspace.bend:329

import Base

329# whether a list of names holds one
330def named(ns: List<&2, String>, +nn: String) -> Bool:
331  match ns:
332    case []:
333      False{}
334    case +hd <> tl:
335      rest = named(tl, nn)
336      Bool.or(String.eq(hd, nn), rest)