Here is a list of all typedefs with links to the files they belong to:

• timeType : phoenix_clock_mock.h
• VecTime : phoenix_clock_mock.h