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