letting domain

This is how you define a domain (an abstract collection of objects with the same type). Domain attributes further specialise the domain. For more information about domains and using them in effectively in Essence programs see here.

This is used like :

letting x be domain int(1..10) 

Types of domains:

• boolean

• integer

• enumerated

• unnamed

• tuple

• record

• variant

• matrix

• set

• multi-set

• function

• sequence

• relation

• partition

For more information about different domain types see here. To see how to define these types as domains see here.