This part in particular (see image below) made me realize that the "*" is more like a "type modifier" and that it is /per identifier/. From this perspective, it might be more correct to attach the * to the identifier

2 likes 1 replies