I understand that ocaml moved to zarith and away from num
However, these still seem to extract to num:
Is my understanding correct? Does anyone have a translation to Zarith laying around?
List of Extraction layers:
Indeed there is a PR open
Thanks! A very timely question I see :-)
The PR has been opened for 2 years though...
We've managed to convert our code to Int63 . How to extract those to ocaml? Is there a template available? @Maxime Dénès ?
Sorry found it:
Last updated: Feb 05 2023 at 07:03 UTC