~/jendhub

def sp.step

cswap-bend-cli@0.1.0.0 · fmt/yamlr.bend:154

import cswap-bend-cli@0.1.0.0/fmt/yamlr.bend as Yamlr
import Base

154def sp.step(+n: Nat, +map: Bool, +sp: Sp, +l: Ln) -> Sp:
155  match l:
156    case Ln{i, t}:
157      sp.step2(Nat.is_eq(i, n) && Bool.not(map && sp.hold(sp) && is_dash(t)), sp, Ln{i, t}, t)

Uses (10)

Used by (1)