liquidhaskell-0.9.6.3.1: src/Foreign/Ptr_LHAssumptions.hs

{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module Foreign.Ptr_LHAssumptions where


{-@

invariant {v:Foreign.Ptr.Ptr a | 0 <= plen  v }
invariant {v:Foreign.Ptr.Ptr a | 0 <= pbase v }

@-}