Mercurial > hg > Gears > GearsAgda

view src/parallel_execution/Semaphore.cbc @ 342:de1e315379c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add CodeGear.cbc
author Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
date Thu, 25 May 2017 22:49:40 +0900
parents fd470e090403
children
line wrap: on
line source

typedef struct Semaphore<Impl>{
        union Data* semaphore;
        __code p(Impl* semaphore, __code next(...)); 
        __code v(Impl* semaphore, __code next(...)); 
        __code next(...);
} Semaphore;