Draft: Modifications to run coq-of-ocaml
I created this merge request to be easier to check the changes needed to run the translation mligo -> coq-of-mligo
, it's not suppose to be merged.
I created this merge request to be easier to check the changes needed to run the translation mligo -> coq-of-mligo
, it's not suppose to be merged.