#include <rewrite.hpp>
Detailed Description
template<typename Domain>
template<typename Tag, typename Child>
struct metaSMT::transform::rewrite1< Domain >::to< Tag, Child >
Definition at line 10 of file rewrite.hpp.
The documentation for this struct was generated from the following file: