Module Monoid.Int.Max

module Max: Monoid.S  with type t = int

type t 

val append : t -> t -> t

val zero : t