liquidhaskell-0.4.0.0: tests/crash/CyclicPredAlias0.hs

module Test0 () where

{-@ predicate CyclicA1 Q = CyclicA1 Q @-}