def vector

bendtorch-core@0.1.0.0 · src/tensor/batched_matmul_LAWS.bend:285

import Base

285def vector(dims: List<&2, Nat>) -> Bool:
286  match dims:
287    case x <> Nil{}:
288      True{}
289    case rest:
290      False{}