Plan.agrees.step: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/pub/plan.bend as Plan
Lines 61-70 of ezx@1.13.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/pub/plan.bend&start_line=61&end_line=70

import Base

# one line of bend's output weighed. A line that is a name must be ours, and
# makes the rest of the walk one that has seen a name; any other line is
# passed over. `Bool.and` builds both of its sides, so the rest of the walk
# arrives as a function of whether a name was seen and is applied once.
def agrees.step(name: Bool, same: Bool, seen: Bool, rest: Bool -> Bool) -> Bool:
  match name:
    case True{}:
      Bool.and(same, rest(True{}))
    case False{}:
      rest(seen)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and