liquidhaskell-0.7.0.0: tests/pos/propmeasure1.hs

module BoolMeasure where

nil  = []