liquidhaskell-0.1: include/System/IO.spec

module spec System.IO where

import GHC.IO.Handle