def dig64

bend-collections-laws-math@1.0.0.0 · src/math/fixed.bend:399

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as X

399def dig64(r: Maybe<&2, W.U64>, ok: Bool, +b: U32) -> Maybe<&2, W.U64>:
400  match r:
401    case Some{+z}:
402      match ok:
403        case True{}:
404          Some{X.add(W.U64{b, 0}, X.mul(z, W.U64{256, 0}))}
405        case False{}:
406          None{}
407    case None{}:
408      None{}