Hello,
I am trying to extract my project into Haskell. I have a type that handles memory addresses which I want to extract to Haskell Int (instead of Integer).
Which standard library numeric type should I use for this?
1 Like
It seems to me that you are looking for the Extract Constant command
https://coq.inria.fr/refman/addendum/extraction.html
Here you can find a more detailed explanation of how to properly extract your programs
https://softwarefoundations.cis.upenn.edu/vfa-current/Extract.html