j
k
j a
j l
On 4/03/20 7:42 am, Steve Jorgensen wrote:
That's a much better term. `Orderable` and `ProtoOrderable`.
I would suggest "TotallyOrdered" and "PartiallyOrdered". -- Greg
Back to the thread
Back to the list