liquidhaskell-0.9.2.5.0: src/GHC/Maybe_LHAssumptions.hs

module GHC.Maybe_LHAssumptions where

{-@
data Maybe a = Nothing | Just a
@-}