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