Extraction to Haskell Int type


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

Here you can find a more detailed explanation of how to properly extract your programs