deferred class VISIT_NODE(n: NODE)

feature

  accept(visitor: NODE_VISITOR): STRING
     deferred
     end;

end -- VISIT_NODE