def multiply
import stelliferous@0.0.2.0/math_checked_word.bend as MathCheckedWordimport Base
46def multiply(+left: U32,+right: U32) -> Maybe<&2,U32>:
47 multiply_left(U32.is_eq(left,1),left,right)
import stelliferous@0.0.2.0/math_checked_word.bend as MathCheckedWordimport Base
46def multiply(+left: U32,+right: U32) -> Maybe<&2,U32>:
47 multiply_left(U32.is_eq(left,1),left,right)