liquidhaskell-0.8.6.0: include/Data/Either.spec

module spec Data.Either where

measure isLeft :: Data.Either.Either a b -> Bool
isLeft (Left x)  = true
isLeft (Right x) = false