Тип данни, чиито членове може да поеме някой от набор от стойности. A отделен тип може да бъде тип изброяване или цяло число.