public StringType(StringType node) { val = node.val; }
public static StringType Read() { StringType ret = new StringType(); ret.Read(); return ret; }
public static IntType ToInt(StringType str) { return new IntType(Int32.Parse(str.strval)); }
public static void Print(StringType fmt, TypeBase p) { p.Print(fmt.strval); }