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

module Splint.GHC.Plugins ( module Export ) where

import GHC.Plugins as Export