write_return_type


Description:

private void write_return_type (DataType type)