Function vstd::std_specs::core::ex_swap

pub exec fn ex_swap<T>(a: &mut T, b: &mut T)

*a == *old(b),

*b == *old(a),