pub fn fold_prop<V: ?Sized + Fold>(_visitor: &mut V, n: Prop) -> Prop