ghc-9.13: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Solver.Irred

Documentation

solveIrred :: IrredCt -> SolverStage Void Source #