Constant prop::nat::_1

pub const _1: One;