liquidhaskell-0.8.10.7: benchmarks/base-4.5.1.0/GHC/Show.lhs-boot
\begin{code}
{-# LANGUAGE Trustworthy #-}
{-# LANGUAGE NoImplicitPrelude #-}
module GHC.Show (showSignedInt) where
import GHC.Types
showSignedInt :: Int -> Int -> [Char] -> [Char]
\end{code}