15.9 Object-type specifications

Type specifications are expand–time objects that describe the characteristics of object–types. Type specifications are part of the lexical environment and are contained in syntactic binding’s descriptors.

Every type annotation has an internal representation as type specification, (vicare-typed)Type annotations. The type specifications API is exposed mostly for debugging purposes: in normal operations we are not meant to use it directly.