liquidhaskell-0.8.6.0: include/Data/OldList.spec

module spec Data.OldList where

import GHC.Base
import GHC.List
import GHC.Types

assume groupBy :: (a -> a -> GHC.Types.Bool) -> [a] -> [{v:[a] | len(v) > 0}]

assume transpose :: [[a]] -> [{v:[a] | (len v) > 0}]