~/jendhub

def view_pair

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

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

310def view_pair(+given: Slice.View) -> Nat & Nat:
311  Slice.View{outer, extent, inner} = given
312  (outer, inner)

Uses (4)

Used by (1)