~/jendhub

def rank

bendtorch-core@0.1.0.0 · src/tensor/gather_LAWS.bend:25

import bendtorch-core@0.1.0.0/src/tensor/gather_LAWS.bend as GatherLAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

25def rank(+input: Shape.Shape) -> Nat:
26  Shape.rank_dimensions(Shape.dimensions(input))

Uses (4)

Used by (8)