-
Andrei Paskevich authored
in particular, there is no more need to define intermediate sorts or to close the set of protected types wrt subtyping
6e1eae46
in particular, there is no more need to define intermediate sorts or to close the set of protected types wrt subtyping