Relock.remove: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/remove/relock.bend as Relock
Lines 23-26 of ezx@1.11.0.0/src/remove/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/remove/relock.bend&start_line=23&end_line=26

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

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/relock.bend&name=World