pub trait LcnfFolder {
// Provided methods
fn fold_expr(&mut self, expr: LcnfExpr) -> LcnfExpr { ... }
fn fold_let_value(&mut self, val: LcnfLetValue) -> LcnfLetValue { ... }
}Expand description
Bottom-up transformation trait (folder).
pub trait LcnfFolder {
// Provided methods
fn fold_expr(&mut self, expr: LcnfExpr) -> LcnfExpr { ... }
fn fold_let_value(&mut self, val: LcnfLetValue) -> LcnfLetValue { ... }
}Bottom-up transformation trait (folder).