namespace boost {
  namespace yap {
    char const  * op_string(expr_kind);
    template<typename Expr> std::ostream & print(std::ostream &, Expr const &);
  }
}