liquidhaskell-0.5.0.0: include/GHC/CString.spec

module spec GHC.CString where

import GHC.Prim 

GHC.CString.unpackCString#
  :: x:GHC.Prim.Addr#
  -> {v:[Char] | v ~~ x && len v == strLen x}