write_type


Description:

private void write_type (DataType type)