programlibs/Datapath/demos/reduce-sum.xtl

source · imports dp: libs/Datapath/src/Datapath.xtl

v : Int

value · line 6
v ← 1 2 3 4 5 6 7 8
Used in: libs/Datapath/demos/reduce-sum.xtl:7, libs/Datapath/demos/reduce-sum.xtl:8, libs/Datapath/demos/reduce-sum.xtl:12

big : Int

value · line 9
big ← 8 r̲eshape 10000         ⍝ 80000 does not fit in 16 bits
Used in: libs/Datapath/demos/reduce-sum.xtl:10, libs/Datapath/demos/reduce-sum.xtl:11