úÎ x ­     None:M xAn Async thread manager. Keeps track of allocated and running Async threads. Useful for ensure threads are cleaned up.A existentially quantified wrapper for Async aCreate a new empty managerCreate a child managerfInsert a new thread into the manager TODO: maybe I should check if the computation is still running (Cancel all threads and empty the manager -Thread count. Includes alive and dead threads !Remove references to dead threads 7Cancel the thread and remove the entry from the manager -Create a new thread and add it to the manager          async-manager-0.1.1.0Control.Concurrent.AsyncManager AsyncManagerchildrenThreadschildrenManagersAnyAsyncnewAsyncManagernewChildManagerinsertclearcountcompactcancelWithManagerasyncWithManagerlabelAsyncWithManager