Как определить подтипы в Изабель и что они значат?

Question

Вопрос о подтипах у Изабель очень длинный. Поэтому мой простой вопрос заключается в том, как определить тип B как подтип A, если я определю A, как показано ниже:

typedecl A

Делая это, я хотел бы сделать все операции и отношения, определенные над A (они не напечатаны здесь) доступными для элементов типа B.

Немного более сложный пример - определить B и C как подтип A, так что B и C не пересекаются, и каждый элемент A имеет тип B или тип C.

Спасибо

Answer 1

У Изабель нет подтипов, хотя некоторые аспекты подтипов можно эмулировать, как объяснено в другом потоке. Если вы хотите использовать одну и ту же операцию для разных типов, вы можете изучить классы типов Изабель.