ghc-corroborate-0.1.0: src-ghc-8.2/GHC/Corroborate/Constraint.hs

module GHC.Corroborate.Constraint (module TcPluginM) where

import TcPluginM (newGiven)