def reuse

ezx@1.11.0.0 · src/tool/plan.bend:734

import ezx@1.11.0.0/src/tool/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/ez/key.bend as Key

734# the binary is reused when it is there and its record is this one
735def reuse(+world: TW.World) -> Bool:
736  Bool.and(there(world), Key.reuse(was(world), key(world)))

Uses (7)

Used by (2)