def plan_length
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Sliceimport Base
158def plan_length(+plan: Plan) -> Nat:
159 Plan{outer, extent, inner, start, step, length} = plan
160 length
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Sliceimport Base
158def plan_length(+plan: Plan) -> Nat:
159 Plan{outer, extent, inner, start, step, length} = plan
160 length