Constant monotonicity_WeakMonotonic 

pub const monotonicity_WeakMonotonic: monotonicity = 1;