Mercurial > hg > Gears > GearsAgda

view src/include/context.h @ 477:c3202635c20a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix Stack.agda
author ryokka
date Thu, 28 Dec 2017 15:52:01 +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;