alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
module Sum : S with type t = int

op is (+)

module Product : S with type t = int

op is ( * )