trait Discrete[t: Type] with Order[t]
instance Discrete[Int32]
def prev(x: t): t with Discrete[t]
Returns the predecessor of the given x.
x
def succ(x: t): t with Discrete[t]
Returns the successor of the given x.