programlibs/Accel/demos/reduce-sum.xtl

source · imports ac: libs/Accel/src/Accel.xtl

a : Int

value · line 5

a ← r̲ange 8

Used in: b, c, libs/Accel/demos/reduce-sum.xtl:10

b : Int

value · line 6

b ← 2 ᵃᶜs̲cale a

Used in: c, libs/Accel/demos/reduce-sum.xtl:10

c : Int

value · line 7

c ← a ᵃᶜv̲add b

Used in: libs/Accel/demos/reduce-sum.xtl:8, libs/Accel/demos/reduce-sum.xtl:9

f : Float

value · line 11

f ← (r̲ange 8) ÷ 8

Used in: libs/Accel/demos/reduce-sum.xtl:12, libs/Accel/demos/reduce-sum.xtl:13