liquidhaskell-0.8.0.2: tests/import/lib/ReflectLib7.hs

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

module ReflectLib7 where

{-@ reflect compose @-}
compose :: (b -> c) -> (a -> b) -> a -> c
compose f g x = f (g x)