def BigInt.read.fin

bend-kit-bignum@0.1.0.0 · bigint.bend:476

import Base

476def BigInt.read.fin(neg: Bool, r: Bool & List<&2, U32>) -> Maybe<&2, BigInt>:
477  (ok, ds) = r
478  match ok ds:
479    case True{} Nil{}:
480      None{}
481    case True{} s:
482      Some{BigInt.mk(neg, Mag.norm(Mag.group(s)))}
483    case False{} s:
484      None{}