fn post_order_harvest_lets(expr: &mut MirRelationExpr)
Expand description

Performs a post-order traversal of the LetRec nodes at the root of an expression.

The traversal is only of the LetRec nodes, for which fear of stack exhaustion is nominal.