text: #pragma once
  
  #include "ast-bin.hh"
  
  namespace logic
  {
    class ASTImplies : public ASTBin
    {
  
    public:
  
      ASTImplies(const Token& token, AST* left, AST* right);
  
      virtual AST* clone() const override;
      virtual void accept(Visitor& visitor) override;
      
    };
  }
  