def broadcast_nil

bendtorch-core@0.1.0.0 · src/shape/broadcast_proofs.bend:187

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

187def broadcast_nil(+dims: List<&2, Nat>) -> {Nil{} == Shape.broadcast_indices(dims, Nil{}) : List<&2, Nat>}:
188  match dims:
189    case Nil{}:
190      {==}
191    case head <> tail:
192      {==}