programlibs/Datapath/demos/saxpy.xtl

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

x : Int

value · line 5
x ← 1 2 3 4 5 6 7 8
Used in: libs/Datapath/demos/saxpy.xtl:8, libs/Datapath/demos/saxpy.xtl:10

y : Int

value · line 6
y ← 100 200 300 400 500 600 700 800
Used in: libs/Datapath/demos/saxpy.xtl:8, libs/Datapath/demos/saxpy.xtl:10

ᵘs̲axpy : Int -> Int -> Int

function · line 7
ᵘs̲axpy ← 16 ᵈᵖs̲axpy 3
Used in: libs/Datapath/demos/saxpy.xtl:8

ᵘb̲ig : Int -> Int -> Int

function · line 9
ᵘb̲ig ← 16 ᵈᵖs̲axpy 10000
Used in: libs/Datapath/demos/saxpy.xtl:10