liquidhaskell-0.9.10.1: src/GHC/List_LHAssumptions.hs
{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
{-# OPTIONS_GHC -Wno-unused-imports #-}
module GHC.List_LHAssumptions where
import GHC.Internal.List_LHAssumptions()
{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
{-# OPTIONS_GHC -Wno-unused-imports #-}
module GHC.List_LHAssumptions where
import GHC.Internal.List_LHAssumptions()