Searched refs:fold_lit (Results 1 – 1 of 1) sorted by relevance
587 fn fold_lit(&mut self, i: crate::Lit) -> crate::Lit { in fold_lit() method588 fold_lit(self, i) in fold_lit()1701 lit: f.fold_lit(node.lit), in fold_expr_lit()2703 pub fn fold_lit<F>(f: &mut F, node: crate::Lit) -> crate::Lit in fold_lit() function