Mercurial > hg > Gears > GearsAgda
view src/parallel_execution/compare.c @ 161:db647f7ed2f6
Prove simple lemma in stack.agda
author | atton |
---|---|
date | Thu, 17 Nov 2016 18:23:56 +0000 |
parents | a4507906938c |
children |
line wrap: on
line source
#include "context.h" enum Relational compare(struct Node* node1, struct Node* node2) { int key1 = node1->key; int key2 = node2->key; if (key1 == key2) { return EQ; } else if (key1 < key2) { return GT; } else { return LT; } }