Type property list

The type property list contains specific properties of the type that are defined besides the type members. Type properties refer to extensional specifications and key definitions.

The type property list consists of a number of type properties.