☰
partiallyOrdered
🌌partiallyOrdered
§ partiallyOrdered(P type :partiallyOrdered partiallyOrdered.P) => partiallyOrdered partiallyOrdered.P:has_equality ,hasEquals partiallyOrdered.P
§ partiallyOrdered(P
type
:partiallyOrdered partiallyOrdered.P) =>
partiallyOrdered partiallyOrdered.P:
has_equality ,hasEquals partiallyOrdered.Pget value of type P.
NYI: #167: Once Eiffel-style 'like this' works, we can use 'like this' instead of
T and no longer need this feature.
NYI: #167: Once Eiffel-style 'like this' works, we can use 'like this' instead of
T and no longer need this feature.
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.