AdditiveMonoid<T> Concept

Definition

Line 313 of System.Base/Concept.cm

Refinement

Type Parameters

T

Constraints

ConversionFromSByte<Tor ConversionFromByte<T>

Axioms

axiom zeroIsIdentityElement(T a)
{
    a + 0 == a && 0 + a == a;
}