Function vstd::prelude::decreases_by

pub fn decreases_by<F>(_f: F)