A construction type. Uh , that 's fine. But it , um
Right. A well , and a previous , um , you know , version of the notation certainly allowed you to single out the meaning bit by it. So you could say " construct of type whatever designates something ".
Yeah.
But that was mostly for reference purposes , just to refer to the meaning pole. I don't think that it was often used to give an extra meaning const type constraint on the meaning , which is really what we want most of the time I think.