def elements_exact

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

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

import Base

628def elements_exact(+shape: Shape) -> {elements(shape) == numel(extents(shape)) : Nat}:
629  match shape:
630    case SShape{dims, size, exact, rank_bound, capacity_bound}:
631      exact

Uses (5)

Used by (61)