anchor.diff:                          | Symbol.Terminal (Terminal _ as token) as symbol ->                            
                               /// The state (set of items) transitioned into
                               /// via the edge labeled with this symbol.
  -                            let targetState = Lr0Item.goto symbol stateItems grammar.Productions
  +                            let targetState = Lr0.Item.goto symbol stateItems grammar.Productions
   
                               /// The identifier of the target state.
                               let targetStateId, tableGenState =
  
positive.code:                             LrTableGenState.reductionRuleId (item.Nonterminal, item.Production) tableGenState
  
                          // Add a 'reduce' action for the entry with this state and lookahead token.
                          Lr1TableGenState.reduce stateId reductionRuleId item.Lookahead tableGenState
                          // TEMP : Discard the unit return value until we can use a monadic fold.
                          |> snd
                      else
  
negative.code:                 // the beginning of the production.
                  {   Nonterminal = Start;
                      Production = production;
                      Position = GenericZero;
                      Lookahead = (); })
              |> Set.ofArray
              |> Lr0.Item.closure grammar.Productions
  
          // The initial table-gen state.
          let initialParserStateId, initialTableGenState =
  