liquidhaskell-0.8.0.2: tests/theorem_proving/T1106Defs.hs

{-@ LIQUID "--higherorder" @-}

module T1106Defs where


{-@reflect foo @-}
foo c t = t