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