~/jendhub

def wrong

ezx@1.11.0.0 · src/doctor/plan.bend:840

import ezx@1.11.0.0/src/doctor/plan.bend as Plan
import Base

840# whether anything found was a problem. The rest arrives as a thunk and only
841# the arm that wants it applies it.
842def wrong(ns: List<&2, Note>) -> Bool:
843  match ns:
844    case []:
845      False{}
846    case h <> t:
847      has.step(note.wrong(h), _u => wrong(t))

Uses (5)

Used by (1)