Я пытаюсь определить тип, состоящий из целочисленных значений в Alloy, но Alloy не позволяет значениям быть целыми числами. Мне нужно использовать математические операции, и, следовательно, я не могу использовать строки вместо целых чисел. Мне нужен тип, чтобы я мог определить отношения и на нем.
Я ценю, если вы можете помочь мне в этом отношении. Большое спасибо, С уважением, Фатхие