liquidhaskell-0.9.0.2.1: tests/pos/Meas00a.hs

module Meas00a () where

import Language.Haskell.Liquid.Prelude

prop0 = liquidAssertB True