I have a column time in a dolphinDB table.
The data in this column shows it is currently in the ‘INT’ format. I want to change the column type into <
