~/jendhub

def count

bendtorch-core@0.1.0.0 · src/shape/core.bend:636

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

636def count(shape: Shape) -> U32:
637  U32.from_nat(elements(shape))

Uses (4)

Used by (239)