programlibs/Clocked/demos/detect.xtl

source · imports ck: libs/Clocked/src/Clocked.xtl

bits : Int

value · line 5
bits ← 1 0 1 0 1 1 0 1 0 0 1
Used in: states

states : Int

value · line 6
states ← 0 'ᶜᵏd̲etect ᶜᵏt̲race bits
Used in: libs/Clocked/demos/detect.xtl:7, libs/Clocked/demos/detect.xtl:8