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

import GHC.Internal.Num_LHAssumptions()