def axes_valid

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

import Base

12def axes_valid(+rank: Nat, +a: Nat, +b: Nat) -> Bool:
13  Bool.and(Nat.is_lt(a, axis_limit(rank)), Nat.is_lt(b, axis_limit(rank)))

Uses (5)