public void visit(StringType that) { Console.Write("string"); }
public void visit(StringType that) { }