def promote_left

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

import Base

292# A 1-D left operand [k] is the row [1, k], a 1-D right one the column
293# [k, 1].
294def promote_left(dims: List<&2, Nat>) -> List<&2, Nat>:
295  match dims:
296    case +x <> Nil{}:
297      [1n, x]
298    case rest:
299      rest