liquidhaskell-0.8.0.2: tests/todo/ImportReflected.hs

module ImportedReflect where

import B 

{-@ theorem :: x:Bar -> {bar x = bar x} @-}
theorem :: Bar -> ()
theorem _ = ()