~/jendhub

def step_left

bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:131

import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
import Base

131# the arguments still to skip after a comma
132def step_left(+left: Nat, +live: Bool) -> Nat:
133  match live:
134    case False{}:
135      left
136    case True{}:
137      step_left_live(left)

Uses (3)

Used by (1)