alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
Module Alg_structs . Monoid . Int
module Sum : S with type t = int

op is (+) and unit is 0

module Product : S with type t = int

op is ( * ) and unit is 1