☰
orderedThis
🌌u64.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.