package base
-
base
-
-
base.caml
-
base.md5
-
base.shadow_stdlib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A signature for a commutative group (in the group-theory sense).
An implementation of this interface should have the following properties:
- associativity:
(a + b) + c = a + (b + c) - identity:
zero + a = a + zero = a - inverses: given any
athere exists a (unique) eltbsuch thata + b = b + a = zero - commutativity:
a + b = b + a
module type S = sig ... end