def name.find

ezx@1.11.0.0 · src/lock/lock.bend:100

import Base

100# the hash a table of names gives a name, the first it records for it, or ""
101# when it records none
102def name.find(ns: List<&2, Name>, +nv: String) -> String:
103  match ns:
104    case []:
105      ""
106    case Name{+n, h} <> t:
107      name.at(String.eq(n, nv), h, _u => name.find(t, nv))