liquidhaskell-0.9.12.2.1: src/Data/Int_LHAssumptions.hs
{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module Data.Int_LHAssumptions where
import GHC.Int_LHAssumptions()
{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module Data.Int_LHAssumptions where
import GHC.Int_LHAssumptions()