recorder.set_time recorder.set_time(t_vector)[source] set the time vector of a recorder t_vectorarrayarray of recording times, in ms