operators-bracesf

Used to create a fixed set. Fixed sets are immutable and can't contain anything else. You use them to declare normal sets as described in the section [Sets]. When a set is based on a fixed set, ASIL now knows what the set can and can't contain. Fixed sets are actually type declarations. In order to declare a normal set based on your fixed set, pass the fixed set to the {} operator as shown below.

var int{}f myFixedSet = new int{}f 5, 3
var int{myFixedSet} = new int{myFixedSet} 5