úÎ Ä      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 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.0.0Control.Concurrent.AsyncManager AsyncManagerunAsyncManagerAnyAsyncnewAsyncManagerinsertclearcountcompactcancelWithManagerasyncWithManagerlabelAsyncWithManager