~/jendhub

def refuses

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

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

52# whether `ez remove` refuses on a World
53def refuses(world: World) -> Bool:
54  R.refuses(plan(world))

Uses (4)

Used by (0)

No other definition uses this definition.