~/jendhub

def tool.has

ezx@1.11.0.0 · src/ledger/manifest.bend:484

import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
import Base

484# whether the ledger pins a CLI of this name
485def tool.has(ts: List<&2, Tool>, +name: String) -> Bool:
486  match ts:
487    case []:
488      False{}
489    case +h <> t:
490      tool.step(String.eq(tool.name(h), name), _u => tool.has(t, name))

Uses (7)

Used by (1)