Вопрос о подтипах в Изабель очень длинный здесь. Итак, мой простой вопрос заключается в том, как я могу определить тип B как подтип A, если я определяю A, как показано ниже:
typedecl A
Делая это, я хотел бы сделать все операции и отношения, определенные над A (здесь они не печатаются), доступными для элементов типа B.
Немного более сложный пример — определить B и C как подтипы A, так что B и C не пересекаются, а каждый элемент A относится либо к типу B, либо к типу C.
Спасибо