{motive : Lean.Parser.PrattParsingTables → Sort u} →
  ((leadingTable : Lean.Parser.TokenMap (Lean.Parser.Parser × ℕ)) →
      (leadingParsers : List (Lean.Parser.Parser × ℕ)) →
        (trailingTable : Lean.Parser.TokenMap (Lean.Parser.Parser × ℕ)) →
          (trailingParsers : List (Lean.Parser.Parser × ℕ)) →
            motive
              { leadingTable := leadingTable, leadingParsers := leadingParsers, trailingTable := trailingTable,
                trailingParsers := trailingParsers }) →
    (t : Lean.Parser.PrattParsingTables) → motive t