Lean.FileMap →
  List (ℕ × Option String.Pos.Raw) →
    Lean.Syntax →
      List Lean.Syntax →
        ℕ → List (ℕ × Option String.Pos.Raw) → StateT (Array Lean.Lsp.FoldingRange) Lean.Server.RequestM PUnit.{1}