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

import Base

# whether bend's output agrees with ez's hash: at least one line is a `0x`
# name, and every line that is one is ez's hash. There is no second pattern
# behind this one. An output with no bare name answers nothing, and one that
# names two packages names one that is not ours, whichever it names first.
def agrees(+ours: String, ls: List<&2, String>) -> Bool:
  agrees.go(ours, ls, False{})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=agrees.go