Function vstd::prelude::decreases_when

pub fn decreases_when(_b: bool)