liquidhaskell-0.4.1.0: tests/pos/propmeasure1.hs

module PropMeasure where

nil  = []