def numel

bendtorch@1.3.0.0 · tensor.bend:28

import Base
import bend-ml-nat-lemmas@0.1.2.0/main.bend as NL

28# the number of elements of a tensor of shape s
29def numel(+s: List<&2, Nat>) -> Nat:
30  NL.product(s)