Module Lsp.Progress

val yojson_of_t : t -> Import.Json.t
val t_of_yojson : Import.Json.t -> t
val method_ : string