liquidhaskell-0.8.10.7: include/Data/Foldable.spec
module spec Data.Foldable where
import GHC.Base
length :: Data.Foldable.Foldable f => forall a. xs:f a -> {v:Nat | v = len xs}
null :: v:_ -> {b:Bool | (b <=> len v = 0) && (not b <=> len v > 0)}
module spec Data.Foldable where
import GHC.Base
length :: Data.Foldable.Foldable f => forall a. xs:f a -> {v:Nat | v = len xs}
null :: v:_ -> {b:Bool | (b <=> len v = 0) && (not b <=> len v > 0)}