def count

bendtorch-core@0.1.0.0 · src/tensor/core.bend:28

import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

28def count(dynamic: Dynamic) -> Dynamic & U32:
29  match dynamic:
30    case Packed{+shape, tensor}:
31      (Packed{shape, tensor}, Shape.count(shape))

Uses (5)

Used by (9)