~/jendhub

def Int.read.u

bend-kit-int@0.2.0.0 · int.bend:406

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

406def Int.read.u(+n: Nat, +b: Word(n), +r: U32, s: String) -> Maybe<&2, Word(n)>:
407  match s:
408    case SNil{}:
409      None{}
410    case SCon{h, t}:
411      Int.read.go(SCon{h, t}, n, b, r, Some{Word.zero(n)})

Uses (7)

Used by (1)