cswap-bend-cli@0.1.0.0 · policy/types.bend:125
import cswap-bend-cli@0.1.0.0/policy/types.bend as Types
import Base 125def full() -> Nat: 126 10000n