def agrees.go

ezx@1.11.0.0 · src/pub/plan.bend:72

import Base

72# whether bend's output, from this line on, agrees with ez's hash, `seen`
73# saying whether a line before it was a name
74def agrees.go(+ours: String, ls: List<&2, String>, seen: Bool) -> Bool:
75  match ls:
76    case []:
77      seen
78    case +h <> t:
79      agrees.step(is_name(h), String.eq(ours, h), seen,
80        s => agrees.go(ours, t, s))