Function not

Source
pub fn not(x: impl Into<Not<Pred>>) -> Not<Pred>