Constant prop::nat::_1

source ·
pub const _1: One;
Expand description