def unique

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

import Base

93def unique(axes: List<&2, Nat>) -> Bool:
94  match axes:
95    case Nil{}:
96      True{}
97    case +head <> +tail:
98      Bool.and(Bool.not(contains(head, tail)), unique(tail))