ghc-9.10.1: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Solver.Irred

Documentation

solveIrred :: IrredCt -> SolverStage Void Source #