Function folding::expressions::extract_terms
source · pub fn extract_terms<C: FoldingConfig>(
exp: FoldingExp<C>
) -> Box<dyn Iterator<Item = Term<C>>>
pub fn extract_terms<C: FoldingConfig>(
exp: FoldingExp<C>
) -> Box<dyn Iterator<Item = Term<C>>>