def Axis.project_right
bendtorch-core@0.1.0.0 · src/shape/core.bend:222
import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
import Base
222def Axis.project_right(-left: Nat, -right: Nat, -output: Nat, alignment: Axis<left, right, output>, index: Fin(output)) -> Fin(right):
223 match alignment:
224 case AxisEqual{left_eq, right_eq}:
225 %right_eq : Fin(_)
226 index
227 case AxisLeftOne{one, right_eq}:
228 %right_eq : Fin(_)
229 index
230 case AxisRightOne{left_eq, one}:
231 %one : Fin(_)
232 FZero{}