Trait Num
hetseq
pub trait Num { type S: Num; type P: Num; fn value() -> usize; }
type S: Num
type P: Num
fn value() -> usize
impl Num for Z
impl<N: Num> Num for S<N>
impl<N: Num> Num for P<N>