Type Definition prop::nat::Zero

source[]
pub type Zero = Z;
Expand description

The zero type.