Miscellaneous

This section defines miscellaneous functions.

• resize
  
  
• swap
  
  
• flip
  
  
• invariants