vstd
In vstd::
prelude
vstd
::
prelude
Macro
decreases_to_internal
Copy item path
macro_rules! decreases_to_internal { ($($x:expr),* $(,)? => $($y:expr),* $(,)?) => { ... }; }