1 2 3 4 5 6 7 8 9 10 11 12 13
|
public define ($T,$T) -> Bool lessoreq (Ord($T) objet) =
($T x, $T y) |-> objet.compare(x,y) /= gt.
public define ($T,$T) -> Bool less (Ord($T) objet) =
($T x, $T y) |-> objet.compare(x,y) = lt.
public define ($T,$T) -> Bool greateroreq (Ord($T) objet) =
($T x, $T y) |-> objet.compare(x,y) /= lt.
public define ($T,$T) -> Bool greater (Ord($T) objet) =
($T x, $T y) |-> objet.compare(x,y) = gt.
public define ($T,$T) -> $T max (Ord($T) objet) =
($T x, $T y) |-> if objet.lessoreq(x,y) then y else x.
public define ($T,$T) -> $T min (Ord($T) objet) =
($T x, $T y) |-> if objet.lessoreq(x,y) then x else y. |