com.twitter.algebird
The law is:
prev(t).map(ordering.lt(_, t)).getOrElse(true)
(Since version 0.13.0) use ordering instead