☰
orderedThis
🌌nat.orderedThis
redefines partiallyOrdered.orderedThis:
get value of type P.
NYI: Once Eiffel-style 'like this' works, we can use 'like this' instead of
T and no longer need this feature.
redefines partiallyOrdered.orderedThis:
get value of type P.
NYI: Once Eiffel-style 'like this' works, we can use 'like this' instead of
T and no longer need this feature.