Module additive 

加法に関するトレイトたちです。

これを実装したクラスは OpAdd によって和を求められます。 区間和を求めるデータ構造などに使います。

Traits

AddAssoc

加法が結合法則を満たすことを示す。

AddComm

加法が交換法則を満たすことを示す。

Zero

加法の単位元 $0$ を定義する。