Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/stack.h @ 141:4f6a660c14a1 stack-interface
stack interface worked
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 09 Nov 2016 15:43:22 +0900 |
parents | f31b4e4bf4bb |
children | cc071cf1ba85 |
line wrap: on
line source
extern union Data* createSingleLinkedStack(struct Context* context); extern __code pushSingleLinkedStack_stub(struct Context* context) ; extern __code popSingleLinkedStack_stub(struct Context* context) ; extern __code pop2SingleLinkedStack_stub(struct Context* context) ; extern __code getSingleLinkedStack_stub(struct Context* context) ; extern __code get2SingleLinkedStack_stub(struct Context* context) ; extern __code isEmptySingleLinkedStack_stub(struct Context* context) ;