World.member.how: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/world.bend as World Lines 318-329 of ezx@1.11.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/world.bend&start_line=318&end_line=329 import Base # a workspace member's package, by how it arrived. Its tree is the committed # one, read from the workspace as a tree under BEND_LIB is read, and judged # by its bytes alone, as any tree there is; only the hub could serve it # under another rule. def member.how(how: How, +hash: String, +manifest: String, +ss: List<&2, String>) -> Verdict: match how: case Lib{}: body(hash, manifest, ss) case Clone{_got}: body(hash, manifest, ss) case Served{}: No{"ez: " ++ hash ++ " is a workspace member and was not read from the workspace"} Uses (6): 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=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=How https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Verdict https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=body