Macro vstd::prelude::decreases_to_internal

macro_rules! decreases_to_internal {
    ($($x:expr),* $(,)? => $($y:expr),* $(,)?) => { ... };
}