Mercurial > hg > Gears > GearsAgda
view src/llrb/compare.c @ 477:c3202635c20a
fix Stack.agda
author | ryokka |
---|---|
date | Thu, 28 Dec 2017 15:52:01 +0900 |
parents | dc6f665bb753 |
children |
line wrap: on
line source
#include "llrbContext.h" void compare(struct Context* context, struct Tree* tree, int key1, int key2) { if (key1 == key2) { tree->result = EQ; } else if (key1 < key2) { tree->result = GT; } else { tree->result = LT; } }