public override Template Visit(AutoType type) { return new Template("auto"); }
public abstract Template Visit(AutoType type);