Function decreases

pub fn decreases<A>(_a: A)