programlibs/Datapath/demos/vector-add.xtl

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

a : Int

value · line 6
a ← 1 2 3 4 100 -100 32767 30000
Used in: libs/Datapath/demos/vector-add.xtl:8, libs/Datapath/demos/vector-add.xtl:10

b : Int

value · line 7
b ← 10 20 30 40 -100 100 1 30000
Used in: libs/Datapath/demos/vector-add.xtl:8, libs/Datapath/demos/vector-add.xtl:10

ᵘv̲add : Int -> Int -> Int

function · line 9
ᵘv̲add ← ᵈᵖv̲add 16
Used in: libs/Datapath/demos/vector-add.xtl:10