def valid

bendtorch-core@0.1.0.0 · src/tensor/axis_spec.bend:107

import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as AxisSpec

import Base

107def valid(+rank: Nat, +axes: List<&2, Nat>) -> Bool:
108  Bool.and(Nat.is_eq(List.length(&2, Nat, axes), rank), Bool.and(bounded(axes, rank), unique(axes)))

Uses (8)

Used by (26)