Extraction to Haskell Int type

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