def contiguous_product

stelliferous@0.0.2.0 · tensor_view.bend:87

import Base
import stelliferous@0.0.2.0/tensor_shape.bend as Shapes

87def contiguous_product(valid: Bool,extent: U32,inner_count: U32) -> Maybe<&2,U32>:
88  match valid:
89    case False{}: None{}
90    case True{}: Shapes.checked_multiply(extent,inner_count)