~/jendhub

def multiply_bounded

stelliferous@0.0.2.0 · math_checked_word.bend:30

import stelliferous@0.0.2.0/math_checked_word.bend as MathCheckedWord
import Base

30def multiply_bounded(left: U32,right: U32,limit: U32) -> Maybe<&2,U32>:
31  U32{bits} = left
32  encoded(multiply_bits(32n,bits,U32.to_nat(right),U32.to_nat(limit)))

Uses (5)

Used by (1)