def count_nonempty

stelliferous@0.0.2.0 · tensor_shape.bend:42

import stelliferous@0.0.2.0/tensor_shape.bend as TensorShape

import Base

42def count_nonempty(empty: Bool,extents: List<&2,U32>) -> Maybe<&2,U32>:
43  match empty:
44    case True{}: Some{0}
45    case False{}: product(extents,Some{1})

Uses (5)

Used by (1)

stelliferous@0.0.2.0/tensor_shape:numel