We begin by describing the meaning of the types of our language: the meaning of each type must be a domain.
Почињемо тако што описујемо значење типова у нашем језику: значење сваког типа мора да буде домен.