alliage: Int sens de champ

Question

i vu la définition suivante en alliage:

un sig Number {i: Int [3]}

// qu'est-ce que Int [3] signifie. Je veux dire quel est le sens du champ ci-dessus « i »

Answer 1

Cela signifie i est une relation entre le singleton Number et le sous-ensemble singleton de Int avec l'atome 3. En notation d'objet, c'est comme Number.i = 3