ProgressToken extension type

A progress token, used to associate progress notifications with the original request.

on

• Object

Constructors

ProgressToken.new(Object _)