Source position: googledeploymentmanager.pp line 942
type TOperationsListOptions = record
filter: string;
maxResults: Integer;
pageToken: string;
end;