Source position: googleandroidenterprise.pp line 1203
type TEntitlementsPatchOptions = record
install: Boolean;
end;