Function vstd::prelude::decreases

pub fn decreases<A>(_a: A)