6#ifndef pointeroutput_hh 
    7#define pointeroutput_hh 
   16  void pointerOutput(std::ostream& 
os, 
const F& val) {
 
   21  void pointerOutput(std::ostream& 
os, 
const F* val) {
 
   22    if (val) 
os << 
"&" << *val;  
 
   27  void pointerOutput(std::ostream& 
os, F* val) {
 
   28    if (val) 
os << 
"&" << *val;  
 
Set< F > makeSet(uint n, const F &first,...)