splint-1.0.1.4: src/ghc-8.8/Splint/GHC/Plugins.hs

module Splint.GHC.Plugins ( module Export ) where

import GhcPlugins as Export