def shape_count_exact

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

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

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

595def shape_count_exact(+shape: Shape.Shape) -> {U32.to_nat(Shape.count(shape)) == Shape.elements(shape) : Nat}:
596  capacity_natural_word_exact(Shape.elements(shape), shape_capacity(shape))

Uses (7)

Used by (21)