def hold.parts

cswap-bend-cli@0.1.0.0 · args.bend:225

import cswap-bend-cli@0.1.0.0/args.bend as Args

import Base

225def hold.parts(ps: List<&2, String>) -> Hold:
226  match ps:
227    case Con{i, t}:
228      hold.int(U32.read(i))
229    case Nil{}:
230      hold.bad()

Uses (6)

Used by (1)

cswap-bend-cli@0.1.0.0/args:hold.norm