14 virtual void handle(std::shared_ptr<TipType> t1,
15 std::shared_ptr<TipType> t2) = 0;
Abstract class for handling type constraints as they are generated.
Definition: ConstraintHandler.h:11
virtual void handle(std::shared_ptr< TipType > t1, std::shared_ptr< TipType > t2)=0
virtual ~ConstraintHandler()=default