Yscal.sp.step: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/fmt/yscal.bend as Yscal
Lines 167-168 of cswap-bend-cli@0.1.0.0/fmt/yscal.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/fmt/yscal.bend&start_line=167&end_line=168

import Base

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/yscal.bend&name=Sp
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/yscal.bend&name=sp.inside
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/yscal.bend&name=sp.outside
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fmt/yscal.bend&name=sp.q_of