Constant monotonicity_NonMonotonic 

pub const monotonicity_NonMonotonic: monotonicity = 0;