Commit 9f2d3e43 authored by POTTIER Francois's avatar POTTIER Francois


parent 3a6389fe
* Include `BoolEqs`, `ChopFix`.
* Clean up `Sigs.mli`. Make sure that the library's usage is documented.
* Do something with `BoolEqs` and `ChopFix`?
* Consider using two data fields in `node` instead of one,
so as to avoid using a separate `data` record. Benchmark.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment