max package:unique-logic

max :: (C w, Ord a, C a) => T w s a -> T w s a -> T w s a
unique-logic UniqueLogic.ST.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) => Variable w s a -> Variable w s a -> Variable w s a -> T w s ()
unique-logic UniqueLogic.ST.Rule
Max :: T -> T -> T
unique-logic UniqueLogic.ST.Example.Term
maximum :: (C w, Ord a, C a) => [T w s a] -> T w s a
unique-logic UniqueLogic.ST.Expression