Constant monotonicity_WeakMonotonic

pub const monotonicity_WeakMonotonic: monotonicity = 1;