3 template < class T, template <class> class E1, template <class> class E2 >
5 Add(const E1<T>& e1, const E2<T>& e2) {}
9 template < class T, template <class> class E1, template <class> class E2 >
11 Mul(const E1<T>& e1, const E2<T>& e2) {}
23 Add < T, ::Id, Lit > operator+(const T& t) const {
24 return Add < T, ::Id, Lit >(*this, Lit<T>(t));
27 Mul < T, ::Id, Lit > operator*(const T& t) const {
28 return Mul < T, ::Id, Lit >(*this, Lit<T>(t));