view src/parallel_execution/origin_cs.h @ 164:b0c6e0392b00

Add comment to stack.agda
author atton
date Thu, 17 Nov 2016 18:28:13 +0000
parents 9e139a340bd1
children 865179a0a56d
line wrap: on
line source

extern __code start_code(struct Context* context);
extern __code exit_code(struct Context* context);
extern __code meta(struct Context* context, enum Code next);