Searched refs:res_implic (Results 1 – 1 of 1) sorted by relevance
1697 ; res_implic <- setImplicationStatus (imp { ic_no_eqs = no_given_eqs function1705 , text "res_implic =" <+> ppr res_implic1709 ; return (floated_eqs, res_implic) }