~/jendhub

def refuses

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

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

185# whether `ez add` refuses on a World
186def refuses(world: World) -> Bool:
187  R.refuses(plan(world))

Uses (4)

Used by (0)

No other definition uses this definition.