Picos_std_sync.SemaphoreCounting and Binary semaphores.
âšī¸ This intentionally mimics the interface of Stdlib.Semaphore. Unlike with the standard library semaphores, blocking on these semaphores allows an effects based scheduler to run other fibers on the thread.