deferred class NODE_VISITOR1(n: NODE)

feature

  visit: STRING
     deferred
     end;

end -- NODE_VISITOR1