Function decreases_by 

pub fn decreases_by<F>(_f: F)