Function decreases_when

pub fn decreases_when(_b: bool)