law project_left_checked_refines

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

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

199law project_left_checked_refines:
200  for +plan: Shape.BroadcastPlan
201  for +values: List<&2, U32>
202  {coordinate_result(Shape.left_shape(plan), Shape.project_left_checked(plan, values)) == project_left_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>>}