liquid-base-4.14.0.0: 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