liquidhaskell-0.8.10.7: liquid-base/src/Data/Either.spec

module spec Data.Either where

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