module
FFI
.
Int
where
postulate
Int
:
Set
{-#
COMPILED_TYPE
Int
Int
#-}