module Commutative_group: Commutative_group
val __pa_ounit_275876e34cf609db118f3d84b799a790 : string
An implementation of this interface should have the following properties:
1: associativity: (a+b)+c = a+(b+c) for all elt's a,b,c
2: identity: zero+a = a+zero = a for all elt's a
3: inverses: given any elt a there exists a (unique) elt b such that a+b=b+a=zero
4: commutativity: a+b = b+a
module type S =sig
..end
An implementation of this interface should have the following properties:
1: associativity: (a+b)+c = a+(b+c) for all elt's a,b,c
2: identity: zero+a = a+zero = a for all elt's a
3: inverses: given any elt a there exists a (unique) elt b such that a+b=b+a=zero
4: commutativity: a+b = b+a