{-# LANGUAGE CPP #-} module Program.Mighty.Types (Natural, naturalToInt) where #ifdef DHALL import GHC.Natural (Natural, naturalToWord) naturalToInt :: Natural -> Int naturalToInt = fromIntegral . naturalToWord #else type Natural = Int naturalToInt :: Natural -> Int naturalToInt :: Natural -> Natural naturalToInt = Natural -> Natural forall a. a -> a id #endif