module Language.TCT.Utils where

import Data.Function ((.))
import Data.Int (Int, Int64)
import Prelude (Num(..), Integral(..))

-- * 'Int'
int :: Integral i => i -> Int
int = fromInteger . toInteger

int64 :: Integral i => i -> Int64
int64 = fromInteger . toInteger