TT/tST.k

// tST.k -> State Table Definition
\l uDT.k

err: {:"err";};

tSTAt: (
 ((1 2);(0N 1);(err 1);(0N 1));
 ((0N 2);(2 3);(err 1);(3 1));
 ((0N 3);(0N 3);(3 1);(0N 3))
);

// sample actions - These should be DTs in a real example
tSTA1:: {:"Start Selecting\n";};
tSTA2:: uDT; // this is an actual DT
tSTA3:: {:"Finished\n";};
tSTa:: (tSTA1;tSTA2;tSTA3);

tSTs:: 0;
tST: {[e;args] };