programlibs/Datapath/demos/pipeline.xtl

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

x : Int

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

k : Int

value · line 7
k ← 1 -1 1 -1 1 -1 1 -1
Used in: libs/Datapath/demos/pipeline.xtl:8, libs/Datapath/demos/pipeline.xtl:9, libs/Datapath/demos/pipeline.xtl:11

ᵘp̲ipeline : Int -> Int -> Int

function · line 10
ᵘp̲ipeline ← ᵈᵖp̲ipeline 16
Used in: libs/Datapath/demos/pipeline.xtl:11