package lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `Lsp.Progress`Source

Sourcetype t =

| Begin of Types.WorkDoneProgressBegin.t
| Report of Types.WorkDoneProgressReport.t
| End of Types.WorkDoneProgressEnd.t

Sourceval yojson_of_t : t -> Import.Json.t

Sourceval t_of_yojson : Import.Json.t -> t

Sourceval method_ : string