Namespace WorkDoneProgressOptions

The WorkDoneProgressOptions namespace provides helper functions to work with WorkDoneProgressOptions literals.