ProgressEndEvent.M
type body = {
progressId : string;
message : string;
}
val body_of_js : Ojs.t -> body
val body_to_js : body -> Ojs.t
val event : string