view src/parallel_execution/Tree.h @ 477:c3202635c20a

fix Stack.agda
author ryokka
date Thu, 28 Dec 2017 15:52:01 +0900
parents 4b5f9884b777
children
line wrap: on
line source

typedef struct Tree<Type, Impl>{
    /* future Code */
    /* Type* tree; */
    /* Type* node; */
    union Data* tree;
    struct Node* node;
    __code put(Impl* tree,Type* node, __code next(...));
    // __code get(Impl* tree, __code next(...));
    __code remove(Impl* tree,Type* node, __code next(...));
    // __code clearRedBlackTree();
    __code next(...);
} Tree;