Constant prop::nat::_2

pub const _2: Two;