public virtual void visit(HsPVar node) { Console.WriteLine("Visiting {0}", node.ToString()); }
public virtual void visit(HsPVar node) { }
public virtual void visit(HsPVar node) { Console.WriteLine("Visiting {0}", node.ToString()); }
public virtual void visit(HsPVar node) { }