Development of this project has moved to an open-source but not open-contribution model.
Source code and commits will remain publicly available perpetually, but issues and/or pull requests will be rejected and/or ignored. Additionally, this project will now only be available via a read-only mirror at:
https://codeberg.org/io7m-com/roctetorder
The roctetorder package provides theorems about octet ordering.
$ opam install . --deps-only
$ ./rocq-make.sh