def Lean.Lsp.ResolvableCompletionList.compressFast (l : ResolvableCompletionList) : String

Fast path for (toJson l).compress that skips the intermediate Json object. Used in place of (toJson l).compress in the language server.