addBB | Language.TRM.Programs, Language.TRM |
Backward | Language.TRM.Base, Language.TRM |
bbToUnary | Language.TRM.Programs, Language.TRM |
Case | Language.TRM.Base, Language.TRM |
clear | Language.TRM.Programs, Language.TRM |
compare | Language.TRM.Programs, Language.TRM |
compare' | Language.TRM.Programs, Language.TRM |
compileL | Language.TRM.Base, Language.TRM |
cond | Language.TRM.Base, Language.TRM |
copy | Language.TRM.Programs, Language.TRM |
decodeBB | Language.TRM.Base, Language.TRM |
double | Language.TRM.Programs, Language.TRM |
do_ | Language.TRM.Base, Language.TRM |
encodeBB | Language.TRM.Base, Language.TRM |
exptBB | Language.TRM.Programs, Language.TRM |
Forward | Language.TRM.Base, Language.TRM |
freshLabel | Language.TRM.Base, Language.TRM |
freshLabelHere | Language.TRM.Base, Language.TRM |
freshReg | Language.TRM.Base, Language.TRM |
fromLabeledProgram | Language.TRM.Base, Language.TRM |
goto | Language.TRM.Base, Language.TRM |
Hash | Language.TRM.Base, Language.TRM |
Instruction | Language.TRM.Base, Language.TRM |
instructionToString | Language.TRM.Base, Language.TRM |
Label | Language.TRM.Base, Language.TRM |
label | Language.TRM.Base, Language.TRM |
LC | Language.TRM.Base, Language.TRM |
LCase | Language.TRM.Base, Language.TRM |
LComp | Language.TRM.Base, Language.TRM |
Letter | Language.TRM.Base, Language.TRM |
LGoto | Language.TRM.Base, Language.TRM |
LInstruction | Language.TRM.Base, Language.TRM |
LLabel | Language.TRM.Base, Language.TRM |
LProgram | Language.TRM.Base, Language.TRM |
LSnocHash | Language.TRM.Base, Language.TRM |
LSnocOne | Language.TRM.Base, Language.TRM |
LSymantics | Language.TRM.Base, Language.TRM |
M | Language.TRM.Base, Language.TRM |
Machine | Language.TRM.Base, Language.TRM |
move | Language.TRM.Programs, Language.TRM |
multBB | Language.TRM.Programs, Language.TRM |
One | Language.TRM.Base, Language.TRM |
parseProgram | Language.TRM.Base, Language.TRM |
pc | Language.TRM.Base, Language.TRM |
phi | Language.TRM.Base, Language.TRM |
plusBB' | Language.TRM.Programs, Language.TRM |
Program | Language.TRM.Base, Language.TRM |
program | Language.TRM.Base, Language.TRM |
programToString | Language.TRM.Base, Language.TRM |
R | Language.TRM.Base, Language.TRM |
Register | Language.TRM.Base, Language.TRM |
regs | Language.TRM.Base, Language.TRM |
run | Language.TRM.Base, Language.TRM |
runL | Language.TRM.Base, Language.TRM |
runL' | Language.TRM.Base, Language.TRM |
SnocHash | Language.TRM.Base, Language.TRM |
snocHash | Language.TRM.Base, Language.TRM |
SnocOne | Language.TRM.Base, Language.TRM |
snocOne | Language.TRM.Base, Language.TRM |
step | Language.TRM.Base, Language.TRM |
succBB | Language.TRM.Programs, Language.TRM |
succBB' | Language.TRM.Programs, Language.TRM |
toLabeledProgram | Language.TRM.Base, Language.TRM |
unaryToBB | Language.TRM.Programs, Language.TRM |
unLC | Language.TRM.Base, Language.TRM |
W | Language.TRM.Base, Language.TRM |
Word | Language.TRM.Base, Language.TRM |
wordToString | Language.TRM.Base, Language.TRM |