def promote_right

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

import Base

301def promote_right(dims: List<&2, Nat>) -> List<&2, Nat>:
302  match dims:
303    case +x <> Nil{}:
304      [x, 1n]
305    case rest:
306      rest