Module Progress_end_event.Payload

type t = {
progress_id : string;

The ID that was introduced in the initial 'ProgressStartEvent'.

message : string option;

Optional, more detailed progress message. If omitted, the previous message (if any) is used.

}
val make : progress_id:string -> ?⁠message:string option -> unit -> t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or