MakeMaxPoly.E
type t('a);
The polymorphic type of elements.
let compare: t('a) => t('b) => int;
compare is a total order on values of type t.
compare
t