Source position: googleandroidenterprise.pp line 1216
type TEntitlementsUpdateOptions = record
install: Boolean;
end;