Type Definition prop::nat::One

source[]
pub type One = S<Zero>;
Expand description

The one type.