pub trait One: Mul<Output = Self> + Sized { // Required method fn one() -> Self; }
乗法の単位元 111 を定義する。
乗法の単位元 111 を返す。