def output_below
bendtorch-core@0.1.0.0 · src/tensor/contracts/binary_build_proof.bend:136
import bendtorch-core@0.1.0.0/src/tensor/contracts/binary_build_proof.bend as BinaryBuildProof
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
136def output_below(+plan: Shape.BroadcastPlan, +count: Nat, +position: Nat,
137 +count_exact: {count == Shape.logical_numel(Shape.dimensions(Shape.output_shape(plan))) : Nat},
138 +decided: {True{} == Nat.is_lt(position, count) : Bool}) ->
139 {Nat.is_lt(position, Shape.logical_numel(Shape.dimensions(Shape.output_shape(plan)))) == True{} : Bool}:
140 %count_exact : {Nat.is_lt(position, _) == True{} : Bool}
141 Equal.sym(Bool, True{}, Nat.is_lt(position, count), decided)