ghc-corroborate-0.1.0: src-ghc-tree/GhcApi/Constraint.hs
module GhcApi.Constraint (module GHC.Tc.Types.Constraint) where
import GHC.Tc.Types.Constraint
(Ct (..), CtEvidence (..), CtLoc, ctLoc, ctEvId, mkNonCanonical)
module GhcApi.Constraint (module GHC.Tc.Types.Constraint) where
import GHC.Tc.Types.Constraint
(Ct (..), CtEvidence (..), CtLoc, ctLoc, ctEvId, mkNonCanonical)