Mercurial > hg > Gears > GearsAgda
view src/include/origin_cs.h @ 307:700f247f32a1
minor fix
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 14 Feb 2017 12:31:58 +0900 |
parents | 368306e1bfed |
children |
line wrap: on
line source
extern __code start_code(struct Context* context, enum Code next); extern __code exit_code(struct Context* context); extern __code meta(struct Context* context, enum Code next);