T
public interface Ordered<T>
boolean
leq(T o)
upperBound(T o)
this
o
widen(T o)
boolean leq(T o)
T upperBound(T o)
T widen(T o)