def broadcast_checked.realign
bendtorch-core@0.1.0.0 · src/shape/core.bend:861
import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
import Base
861def broadcast_checked.realign(-left: List<&2, Nat>, -right: List<&2, Nat>, -shape: Shape, -output: List<&2, U32>, preserved: {dimensions(shape) == output : List<&2, U32>}, aligned: Aligned(left, right, naturals(output))) -> Aligned(left, right, extents(shape)):
862 %Equal.sym(List<&2, U32>, dimensions(shape), output, preserved) : Aligned(left, right, naturals(_))
863 aligned