def view_extent

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

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

import Base
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice

306def view_extent(+given: Slice.View) -> Nat:
307  Slice.View{outer, extent, inner} = given
308  extent

Uses (2)

Used by (3)