flat_vec provides a macro to flatten nested Vecs. Particularly useful when you want to write a rules of egg which contains rules both => and <=>.
flat_vec
Vec
egg
=>
<=>