ghc-9.11: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Solver.Irred

Documentation

solveIrred :: IrredCt -> SolverStage Void Source #