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