Options
There are two main ways to customize the translation made by rocq-of-ocaml:
- Attributes: to add annotations to the OCaml code and change the translation at specific points in the code.
- Configuration: to change the default behavior of
rocq-of-ocamlfor the whole translation.