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.