Skip to main content

swap2

Function swap2 

Source
pub open spec fn swap2<A, B>(i: (B, A)) -> (A, B)
Expand description
{ (i.1, i.0) }