∀ (prec quotDepth : ℕ) (suppressInsideQuot : Bool) (savedPos? : Option String.Pos.Raw)
  (forbiddenTk? : Option Lean.Parser.Token) (prec_1 quotDepth_1 : ℕ) (suppressInsideQuot_1 : Bool)
  (savedPos?_1 : Option String.Pos.Raw) (forbiddenTk?_1 : Option Lean.Parser.Token),
  ({ prec := prec, quotDepth := quotDepth, suppressInsideQuot := suppressInsideQuot, savedPos? := savedPos?,
        forbiddenTk? := forbiddenTk? } =
      { prec := prec_1, quotDepth := quotDepth_1, suppressInsideQuot := suppressInsideQuot_1, savedPos? := savedPos?_1,
        forbiddenTk? := forbiddenTk?_1 }) =
    (prec = prec_1 ∧
      quotDepth = quotDepth_1 ∧
        suppressInsideQuot = suppressInsideQuot_1 ∧ savedPos? = savedPos?_1 ∧ forbiddenTk? = forbiddenTk?_1)