def view_part

bendtorch-core@0.1.0.0 · src/tensor/slice_LAWS.bend:120

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

120def view_part(+plan: Slice.Plan) -> Nat & Nat:
121  Slice.Plan{outer, extent, inner, start, step, length} = plan
122  (outer, inner)