AdditiveMonoid<T> Concept
Definition
Line
313
of
System.Base/Concept.cm
Refinement
Type Parameters
T
Constraints
ConversionFromSByte
<
T
>
or
ConversionFromByte
<
T
>
Axioms
axiom
zeroIsIdentityElement(T a)
{
a + 0 == a && 0 + a == a;
}