Searched refs:applySubstGoals (Results 1 – 2 of 2) sorted by relevance
576 applySubstGoals :: [Goal] -> InferM [Goal]577 applySubstGoals gs = function
812 gs <- applySubstGoals gs0932 cs <- applySubstGoals cs0