ghc-lib-9.8.3.20241022: The GHC API, decoupled from GHC versions
Safe HaskellIgnore
LanguageHaskell2010

GHC.Tc.Solver.Equality

Documentation

solveEquality :: CtEvidence -> EqRel -> Type -> Type -> SolverStage Void Source #