law broadcast_checked_plan

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

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

185law broadcast_checked_plan:
186  for +left: Shape.Shape
187  for +right: Shape.Shape
188  {planned_dimensions(left, right, Shape.broadcast_checked(left, right)) == (Shape.dimensions(left), Shape.dimensions(right)) : List<&2, U32> & List<&2, U32>}