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