def sp.step

import cswap-bend-cli@0.1.0.0/fmt/yscal.bend as Yscal

import Base

167def sp.step(+c: U32, +sp: Sp) -> Sp:
168  Bool.pick(Sp, U32.is_eq(sp.q_of(sp), 0), sp.outside(c, sp), sp.inside(c, sp))

Uses (7)