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