programlibs/Hex1000/demos/circuit.xtl

source · imports hx: libs/Hex1000/src/Hex1000.xtl

keys : Int

value · line 9
keys ← 1 2 16 3 4 19
Used in: %39, %40

%39 : (Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int, Int)

value · line 10
(st, digits, done, took) ← ʰˣCalcRom ʰˣt̲ype (ʰˣReset, keys, 9000)

st : Int

value · line 10
(st, digits, done, took) ← ʰˣCalcRom ʰˣt̲ype (ʰˣReset, keys, 9000)
Used in: %39

digits : Bool

value · line 10
(st, digits, done, took) ← ʰˣCalcRom ʰˣt̲ype (ʰˣReset, keys, 9000)
Used in: %39

done : Int

value · line 10
(st, digits, done, took) ← ʰˣCalcRom ʰˣt̲ype (ʰˣReset, keys, 9000)
Used in: %39

took : Int

value · line 10
(st, digits, done, took) ← ʰˣCalcRom ʰˣt̲ype (ʰˣReset, keys, 9000)
Used in: %39, %40

%40 : Int

value · line 11
(ks, os, rs) ← ʰˣCalcRom ʰˣr̲ecord (ʰˣReset, keys, took)

ks : Int

value · line 11
(ks, os, rs) ← ʰˣCalcRom ʰˣr̲ecord (ʰˣReset, keys, took)
Used in: %40, libs/Hex1000/demos/circuit.xtl:12

os

value · line 11
(ks, os, rs) ← ʰˣCalcRom ʰˣr̲ecord (ʰˣReset, keys, took)
Used in: %40, libs/Hex1000/demos/circuit.xtl:13

rs

value · line 11
(ks, os, rs) ← ʰˣCalcRom ʰˣr̲ecord (ʰˣReset, keys, took)
Used in: %40, libs/Hex1000/demos/circuit.xtl:14