def product

stelliferous@0.0.2.0 · tensor_shape.bend:36

import Base

36def product(extents: List<&2,U32>,accumulator: Maybe<&2,U32>) -> Maybe<&2,U32>:
37  match extents accumulator:
38    case Nil{} result: result
39    case Con{x,xs} Some{value}: product(xs,checked_multiply(value,x))
40    case Con{x,xs} None{}: None{}