~/jendhub

def valid

bendtorch-core@0.1.0.0 · src/tensor/transpose_spec.bend:15

import bendtorch-core@0.1.0.0/src/tensor/transpose_spec.bend as TransposeSpec
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

15def valid(+shape: Shape.Shape, +a: U32, +b: U32) -> Bool:
16  axes_valid(Shape.rank_dimensions(Shape.dimensions(shape)), U32.to_nat(a), U32.to_nat(b))

Uses (7)

Used by (37)