ghc-8.4.0.20171214: The GHC API
TcInteract
solveSimpleGivens :: [Ct] -> TcS () Source #
solveSimpleWanteds :: Cts -> TcS WantedConstraints Source #