Returns the time value of a DateTime.
string TIMESTR(DateTime? value)
or
string TIMESTR(DateTime? value, string format)
TIMESTR(DATETIME("02:30:22"))
will return '02:03:22'.
or
TIMESTR(DATETIME("02:30:22"),"H:mm:ss")
Will return '2:30:22'. The above format will remove any unnecessary noughts at the start of the time however it will not remove digits from the hour if there are two digits i.e. TIMESTR(DATETIME("12:30:22"), "H:mm:ss")
will return '12:30:22'.