def multiply_step

stelliferous@0.0.2.0 · math_checked_word.bend:15

import stelliferous@0.0.2.0/math_checked_word.bend as MathCheckedWord

import Base

15def multiply_step(bit: Bool,right: Nat,previous: Maybe<&2,Nat>,limit: Nat) -> Maybe<&2,Nat>:
16  match previous:
17    case None{}: None{}
18    case Some{value}: bounded(Nat.add(Nat.double(value),Bool.pick(Nat,bit,right,0n)),limit)

Uses (7)

Used by (1)

stelliferous@0.0.2.0/math_checked_word:multiply_bits