ghc-9.8.3: The GHC API
Safe HaskellNone
LanguageHaskell2010

GHC.Tc.Solver.Irred

Documentation

solveIrred :: IrredCt -> SolverStage Void Source #