Files

libs/Clocked/src/

Clocked.xtl

libs/Fixed/src/

Fixed.xtl

libs/Datapath/src/

Datapath.xtl

libs/Hex1000/src/

Hex1000.xtl

work/libs/Strings/src/

Strings.xtl

libs/Radix/src/

Radix.xtl

std/

System.xtlm

libs/Uart/src/

Uart.xtl

libs/Clocked/demos/

libs/Datapath/demos/

libs/Fixed/demos/

libs/Hex1000/demos/

libs/Radix/demos/

libs/Uart/demos/

loopback.xtl

built-ins

On this page

x

programlibs/Datapath/demos/threshold.xtl

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

x : Int

value · line 5

x ← 5 -3 12 0 7 -8 20 1

Used in: libs/Datapath/demos/threshold.xtl:6, libs/Datapath/demos/threshold.xtl:7, libs/Datapath/demos/threshold.xtl:8, libs/Datapath/demos/threshold.xtl:9