That isn't an argument, that is literally the market definition used by the EC.
> The "licensable" vs. "proprietary" distinction are distribution models that, from a consumer choice perspective, is irrelevant.
You are literally wrong, and clearly didn't do you homework:
http://europa.eu/rapid/press-release_IP-16-1492_en.htm
"At this stage, the Commission considers that Google is dominant in the markets for general internet search services, licensable smart mobile operating systems and app stores for the Android mobile operating system."
Not only the EC used "licensable smart mobile operating systems" but it also used "app stores for the Android mobile operating system".
It assumed that Android does not compete with iOS and that the Play store does not compete with the App store.