liquidhaskell-boot-0.9.8.2: tests/specfiles/pos/Empty.spec

module spec Empty where