Module Monoid.Int.Max

module Max: Monoid.S  with type t = int

type t 
val append : t -> t -> t
val zero : t