liquidhaskell-0.8.10.7: tests/specfiles/pos/Empty.spec

module spec Empty where