Here is a list of all documented typedefs with links to the documentation:

I

R

T

• InterruptFn : TaskManagerIO.h
• RawIntHandler : TaskManagerIO.h
• taskid_t : TaskTypes.h
• TimerFn : TaskTypes.h