Mercurial > hg > GearsTemplate
view src/include/context.h @ 540:0a723e418b2a
add some more directives in agda
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 04 Jan 2018 23:43:18 +0900 |
parents | a765eb7f3b7c |
children |
line wrap: on
line source
typedef struct Context_st { void* ds; void* mds; void* ds_heap; void* mds_heap; __code (*next)(); void* head; } Context;