max package:unique-logic-tf

max :: (C w, Ord a, Value w a, C s) => T w s a -> T w s a -> T w s a
unique-logic-tf UniqueLogic.ST.TF.Expression
We are not able to implement a full Ord instance including Eq superclass and comparisons, but we need to compute maxima.
max :: (Ord a, C w, C s) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
unique-logic-tf UniqueLogic.ST.TF.Rule
max x y z means max x y = z.
Max :: T -> T -> T
unique-logic-tf UniqueLogic.ST.TF.Example.Term
maximum :: (C w, Ord a, Value w a, C s) => [T w s a] -> T w s a
unique-logic-tf UniqueLogic.ST.TF.Expression