Module Monoid.Int.Product

module Product: Monoid.S  with type t = int

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