Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/Time.cbc @ 381:b81492c74d2b
Create examples directory
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 24 Jul 2017 16:52:09 +0900 |
parents | a0a3301bac4d |
children |
line wrap: on
line source
typedef struct Time<Impl>{ union Data* time; __code start(Impl* time, __code next(...)); __code end(Impl* time, __code next(...)); __code next(...); } Queue;