def sp.inside

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

import Base

164def sp.inside(+c: U32, +sp: Sp) -> Sp:
165  Bool.pick(Sp, U32.is_eq(c, sp.q_of(sp)), sp.close(c, sp), sp.push(c, sp))

Uses (7)