def remove

ezx@1.11.0.0 · src/remove/relock.bend:23

import ezx@1.11.0.0/src/remove/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/remove/plan.bend as RP

23# the remove's World
24def remove(world: World) -> RP.World:
25  World{r, _here, _listing, _locks} = world
26  r

Uses (2)

Used by (2)