Hax Engine

The engine of hax is written in OCaml, and has the following structure: