liquidhaskell-0.8.10.7: liquid-base/src/System/IO.spec

module spec System.IO where

import GHC.IO.Handle