Function decreases_by

pub fn decreases_by<F>(_f: F)