prev 和 prevs 之间的区别？

Question

这两者有什么区别：

t.prev
t.prevs

其中 t: Time 和 Time 的顺序是：

open util/ordering[Time]

Answer 1

t.prev returns 排序中 t 的直接前导。

t.prevs returns 排序中 t 之前的所有元素的集合。

例如考虑以下排序 T0 < T1 < T2 < T3，然后：

T2.prev= T1

T2.prevs= {T0,T1}