haar_lib::num

Module one_zero

Source
Expand description

加法と乗法の単位元を定める。

Traits§

One
乗算についての単位元をもつ。
Zero
加算についての単位元をもつ。