Searched defs:PredicateType (Results 1 – 9 of 9) sorted by relevance
95 enum PredicateType { PT_Branch, PT_Assume, PT_Switch }; enum
1219 impl ToTokens for PredicateType { implementation
1578 impl Eq for PredicateType {} implementation1581 impl PartialEq for PredicateType { implementation
1648 impl Clone for PredicateType { implementation
2100 impl Hash for PredicateType { implementation
695 fn visit_predicate_type_mut(&mut self, i: &mut PredicateType) { in visit_predicate_type_mut()
695 fn fold_predicate_type(&mut self, i: PredicateType) -> PredicateType { in fold_predicate_type()
694 fn visit_predicate_type(&mut self, i: &'ast PredicateType) { in visit_predicate_type()
2314 impl Debug for PredicateType { implementation