anchor.diff:      and 'Lookahead : comparison> =
       /// An LR(k) item.
       | Item of LrItem<'Nonterminal, 'Terminal, 'Lookahead>
  -    /// A final state of a parser state position graph (PSPG).
  -    | Final of ShiftOrReduce
  +    /// A parser action.
  +    | Action of ParserStatePositionGraphAction<'Terminal>
   
   /// <summary>A Parser State Position Graph (PSPG).</summary>
   /// <remarks>
  
positive.code:             match Map.tryFind tableKey tableGenState.Table with
              | None ->
                  // Create a new 'accept' action for this table entry.
                  Set.singleton Accept
              | Some entry ->
                  // Create a new 'accept' action and add it to the existing table entry.
                  Set.add Accept entry
  
          // Update the table with the new entry.
          (),
  
negative.code:             Goto <| Map.find lrParserStateId lrToLalrIdMap
          // These actions don't change
          | LrParserAction.Reduce _
          | LrParserAction.Accept as action ->
              action
  
      /// Discards the lookahead tokens from the items in an LR(1) parser state.
  