Hub.outcome.entry: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/add/hub.bend as Hub Lines 261-267 of ezx@1.11.0.0/src/add/hub.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/hub.bend&start_line=261&end_line=267 import Base import ezx@1.11.0.0/src/add/world.bend as A import ezx@1.11.0.0/src/lock/plan.bend as P # an entry asked for must be in the package def outcome.entry(held: Bool, fit: Bool, +at: String, +world: A.World) -> P.Outcome: match held: case True{}: outcome.fit(fit) case False{}: P.Refused{"ez: " ++ at ++ " is not in " ++ nv(world)} Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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/add/hub.bend&name=nv https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/hub.bend&name=outcome.fit https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Outcome