Options
There are two main ways to customize the translation made by coq-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
coq-of-ocamlfor the whole translation.