ghc-9.14.0.20250819: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Solver.Irred

Documentation

solveIrred :: IrredCt -> SolverStage Void Source #