☰
partiallyOrdered
🌌partiallyOrdered
partiallyOrdered -- feature for immutable values that have an infix <=
predicate that defines a partial order
features inheriting from partiallyOrdered define a partial order of their
values
NYI: the compiler should check that features inheriting from this are
actually immutable.
equality check for immutable values
redefines hasEquals.infix =:
equality check for immutable values
get value of type T.
NYI: Once Eiffel-style 'like this' works, we can use 'like this' instead of
T and no longer need this feature.