Constant prop::nat::_0

pub const _0: Zero;