def num.int

cswap-bend-cli@0.1.0.0 · pollrow.bend:46

import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow

import Base

46def num.int(ps: List<&2, String>) -> Maybe<&2, U32>:
47  match ps:
48    case Con{i, t}:
49      U32.read(i)
50    case Nil{}:
51      None{}

Uses (5)

Used by (1)

cswap-bend-cli@0.1.0.0/pollrow:num.u