law project_right_checked_refines

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

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

204law project_right_checked_refines:
205  for +plan: Shape.BroadcastPlan
206  for +values: List<&2, U32>
207  {coordinate_result(Shape.right_shape(plan), Shape.project_right_checked(plan, values)) == project_right_spec(Shape.extents(Shape.left_shape(plan)), Shape.extents(Shape.right_shape(plan)), Shape.extents(Shape.output_shape(plan)), Shape.alignment(plan), decode(Shape.extents(Shape.output_shape(plan)), Shape.naturals(values))) : Maybe<&2, List<&2, U32>>}