AdditiveSemiGroup concept

Description

An additive semi-group is an additive magma where the addition is associative.

Refinement of

Associated types

Notation

Definitions

Valid expressions

Expression semantics

Complexity guarantees

Invariants

Models

Notes

• If the type S models AdditiveSemiGroup then the module {S, glas::add_functor<S,S>} models SemiGroup.