WT 4.3

generic referent (inf)

a.k.a.

reference to the type itself, and not to a particular referent/token of the type. Example: in the generic use of You can't come to the party without an invitation, you is referring to the general category of people. (Sections 3.1.1, 3.6)

Information Packing

#3150

Is Function Of

Is subtype of