deferred class EXTENDED_EXP(e: EXP)

inherit
   EXP

feature

   show
      do
         e.show
      end

   eval: INTEGER
      deferred
      end

end -- EXTENDED_EXP