A primitive set data structure for Coq, using std::set from C++.
This is only meant to be an experiment. The example returns the right result but it has other bugs about memory management.
You can compile it by make, and then run ./prog.
This compiles for me with this commit of CertiCoq: https://github.com/CertiCoq/certicoq/commit/706ef73cf8ca9b3d41e046b0bf35e28083cfeac0