~/jendhub

def walk.out

ezx@1.11.0.0 · src/lock/plan.bend:175

import ezx@1.11.0.0/src/lock/plan.bend as Plan
import Base

175# the fuel ran out: refused, unless the walk had just finished
176def walk.out(done: Bool, wk: Walk) -> Walk:
177  match done:
178    case True{}:
179      wk
180    case False{}:
181      walk.spent(wk)

Uses (3)

Used by (1)