Plan.fit: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan Lines 162-167 of ezx@1.11.0.0/src/fetch/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&start_line=162&end_line=167 import Base import ezx@1.11.0.0/src/lock/world.bend as W import ezx@1.11.0.0/src/pkg/pkg.bend as K import ezx@1.11.0.0/src/share/sha.bend as Sha # whether one file is the one the lock names: the same path, and a text whose # digest is the sum the lock records def fit(want: K.Item, got: W.Source) -> Bool: K.Item{+at, sum} = want W.Source{lat, +text} = got Bool.and(String.eq(lat, at), String.eq(Sha.hex(text), sum)) Uses (6): 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 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Source https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Item https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=hex