Copier.h

Go to the documentation of this file.

#pragma once
 
#include "Substituter.h"
 
class Copier : public Substituter {
public:
  Copier() = default;
 
  static std::shared_ptr<TipType> copy(std::shared_ptr<TipType> s);
 
  virtual void endVisit(TipAlpha *element) override;
  virtual void endVisit(TipVar *element) override;
};