liquidhaskell-0.9.0.2.1: tests/pos/Propmeasure1.hs

module Propmeasure1 where

nil  = []