Array Lean.Server.FileWorker.AbsoluteLspSemanticToken →
  Option Lean.Server.FileWorker.AbsoluteLspSemanticToken →
    List Lean.Server.FileWorker.AbsoluteLspSemanticToken → Lean.Server.FileWorker.HandleOverlapState✝