pub trait Int: Copy + Add<Self, Output = Self> + Sub<Self, Output = Self> + Ord { // Required methods fn zero() -> Self; fn one() -> Self; fn to_usize(self) -> usize; }