def Int.read.dig

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

import Base

381def Int.read.dig(ok: Bool, +n: Nat, +b: Word(n), acc: Word(n), d: U32) ->
382  Maybe<&2, Word(n)>:
383  match ok:
384    case True{}:
385      Int.read.add(n, Int.bits(n, U32.to_nat(d)), Int.mul_ov(n, False{}, acc, b))
386    case False{}:
387      None{}