Function vstd::std_specs::core::ex_swap

source · 
pub exec fn ex_swap<T>(a: &mut T, b: &mut T)
Expand description
ensures
*a == *old(b),
*b == *old(a),