def checked_multiply

stelliferous@0.0.2.0 · tensor_shape.bend:33

import stelliferous@0.0.2.0/tensor_shape.bend as TensorShape

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

33def checked_multiply(left: U32,right: U32) -> Maybe<&2,U32>:
34  CheckedWord.multiply(left,right)

Uses (3)

Used by (6)