Searched refs:fold_lit_bool (Results 1 – 1 of 1) sorted by relevance
590 fn fold_lit_bool(&mut self, i: crate::LitBool) -> crate::LitBool { in fold_lit_bool() method591 fold_lit_bool(self, i) in fold_lit_bool()2717 crate::Lit::Bool(_binding_0) => crate::Lit::Bool(f.fold_lit_bool(_binding_0)), in fold_lit()2721 pub fn fold_lit_bool<F>(f: &mut F, node: crate::LitBool) -> crate::LitBool in fold_lit_bool() function