def elements
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
621def elements(shape: Shape) -> Nat:
622 SShape{dims, size, exact, rank_bound, capacity_bound} = shape
623 size
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
621def elements(shape: Shape) -> Nat:
622 SShape{dims, size, exact, rank_bound, capacity_bound} = shape
623 size