~/jendhub

def add

ezx@1.11.0.0 · src/add/relock.bend:32

import ezx@1.11.0.0/src/add/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/add/world.bend as A

32# the add's World
33def add(world: World) -> A.World:
34  World{a, _listing, _locks} = world
35  a

Uses (2)

Used by (3)