~/jendhub

def plan_length

bendtorch-core@0.1.0.0 · src/tensor/gather.bend:78

import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather
import Base

78def plan_length(+plan: Plan) -> Nat:
79  Plan{kind, outer, extent, inner, length} = plan
80  length

Uses (2)

Used by (0)

No other definition uses this definition.