Implement TotalOrder for totally ordered things#449

frankmcsherry merged 1 commit intoTimelyDataflow:masterTimelyDataflow/timely-dataflow:masterfrom

frankmcsherry:total_order_antichainfrankmcsherry/timely-dataflow:total_order_antichainCopy head branch name to clipboard