~/jendhub

def multiply_left

stelliferous@0.0.2.0 · math_checked_word.bend:41

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

41def multiply_left(unit: Bool,+left: U32,+right: U32) -> Maybe<&2,U32>:
42  match unit:
43    case True{}: Some{right}
44    case False{}: multiply_right(U32.is_eq(right,1),left,right)

Uses (5)

Used by (1)