pub fn fold_predicate_type<F>(f: &mut F, node: PredicateType) -> PredicateTypewhere F: Fold + ?Sized,