pub fn postorder<F>(program: &Program, visit: F) where
    F: FnMut(&Term, Option<&Term>), 
Expand description

Perform a postorder traveral of a program’s AST.