anchor.diff:          dfaState, compilationState
   
       /// The main NFA -> DFA compilation function.
  -    let rec private compileRec (nfa : Nfa) (pending : Set<DfaStateId>) (compilationState : CompilationState<'Symbol>) =
  +    let rec private compileRec (nfa : Nfa) (pending : Set<DfaStateId>) (compilationState : CompilationState) =
           // If there are no more pending states, we're finished compiling the DFA.
           if Set.isEmpty pending then
               compilationState
  
positive.code:     //
      let compile (nfa : Nfa) : DfaCompilationResult =
          // The initial (empty) compilation state.
          let compilationState : CompilationState<'Symbol> = {
              NfaStateSetToDfaState = Map.empty;
              DfaStateToNfaStateSet = Map.empty;
              Transitions = LexerDfaGraph.empty; }
  
negative.code:     }
  
      //
      let inline private tryGetDfaState nfaStateSet (compilationState : CompilationState) =
          Map.tryFind nfaStateSet compilationState.NfaStateSetToDfaState
  
      //
      let inline private getNfaStateSet dfaState (compilationState : CompilationState) =
          Map.find dfaState compilationState.DfaStateToNfaStateSet
  
      //
      let private createState nfaStateSet (compilationState : CompilationState) =
          // Preconditions
          if Set.isEmpty nfaStateSet then
              invalidArg "nfaStateSet" "A DFA state cannot be created for the empty set of NFA states."
  