Type Definition prop::nat::One

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

The one type.