In disciplines such as logic, linguistics, metalogic, typography, and computer programming, the type–token distinction is a distinction that separates a descriptive concept from objects that instantiate the concept, seen as particular instances of it. For example, the sentence "the bicycle is in the garage" refers to a token of the type named "bicycle", while the sentence "the bicycle is becoming more popular" refers to the type.