Type alias TMRuleOutput

TMRuleOutput: {
    move: TMMove;
    nextState: TMState;
    write: TMSymbol;
} | {
    move: "HALT";
}

The information on what changes will occur after the rule is applied