liquidhaskell-0.9.6.3.1: src/GHC/Maybe_LHAssumptions.hs

{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module GHC.Maybe_LHAssumptions where

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