Code Lens provider options of a CodeLensRequest.
@:optionaloptionalworkDoneProgress:Null<Bool>
@:optionaloptionalresolveProvider:Null<Bool>
Code lens has a resolve provider as well.