def has

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

import Base

268# whether a file already has a line of this kind
269def has(ls: List<&2, Line>, +want: Rule) -> Bool:
270  match ls:
271    case []:
272      False{}
273    case Line{+what, _text} <> t:
274      has.step(same(what, want), _u => has(t, want))