liquidhaskell-0.8.10.7: include/GHC/Exts.spec
module spec GHC.Exts where // embed GHC.Exts.Int# as int // embed GHC.Exts.Word# as int // embed GHC.Exts.Addr# as Str // embed GHC.Exts.Double# as real // embed GHC.Exts.Char# as Char
module spec GHC.Exts where // embed GHC.Exts.Int# as int // embed GHC.Exts.Word# as int // embed GHC.Exts.Addr# as Str // embed GHC.Exts.Double# as real // embed GHC.Exts.Char# as Char