def named

ezx@1.11.0.0 · src/ledger/ignore.bend:192

import Base

192# whether a list of hashes already names a hash
193def named(hs: List<&2, String>, +hash: String) -> Bool:
194  match hs:
195    case []:
196      False{}
197    case h <> t:
198      +rest = named(t, hash)
199      Bool.or(String.eq(h, hash), rest)