def axis_part

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

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

114# What a plan holds along its axis (the extent, the clamped start, the step
115# and the length) and around it (the element counts before and after it).
116def axis_part(+plan: Slice.Plan) -> Nat & Nat & Nat & Nat:
117  Slice.Plan{outer, extent, inner, start, step, length} = plan
118  (extent, start, step, length)