law broadcast_checked_complete

bendtorch-core@0.1.0.0 · src/shape/LAWS.bend:190

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

190law broadcast_checked_complete:
191  for +left: Shape.Shape
192  for +right: Shape.Shape
193  for +output: List<&2, U32>
194  for +alignment: Shape.Broadcast<Shape.extents(left), Shape.extents(right), Shape.naturals(output)>
195  for +rank_bound: Shape.LE(Shape.rank_dimensions(output), 4n)
196  for +capacity_bound: Shape.LE(Shape.logical_numel(output), 1048576n)
197  {broadcast_built(Shape.broadcast_checked(left, right)) == True{} : Bool}