Property of a type in a programming language.