liquidhaskell-0.8.10.7: tests/pos/record1.hs

module Data.Map.Base (trim) where

data Map k a  = Tip

{-@ data Map k a <l :: root:k -> k -> Bool>
         = Tip
  @-}

{-@ measure isBin @-}
isBin :: Map k a -> Bool
isBin Tip = False

trim :: Map k a
trim = undefined