N7

peano

Type Alias N7 

Source 
pub type N7 = Pred<N6>;
Expand description

The Peano number -7; N7 = Pred<N6>;

Aliased Typeยง

pub struct N7 { /* private fields */ }