class RubyLsp::Notification

def progress_end(id)
  Notification.new(
    method: "$/progress",
    params: Interface::ProgressParams.new(
      token: id,
      value: Interface::WorkDoneProgressEnd.new(kind: "end"),
    ),
  )
end