liquidhaskell-0.4.0.0: include/GHC/CString.spec

module spec GHC.CString where

import GHC.Prim 

GHC.CString.unpackCString# :: x:GHC.Prim.Addr# -> {v:String | v ~~ x}