Searched defs:Get_Return_Success_For_Postcond (Results 1 – 8 of 8) sorted by relevance
200 function Get_Return_Success_For_Postcond subprogspec
3495 function Get_Return_Success_For_Postcond (Subp : Entity_Id) return Node_Id subprogram3514 end Get_Return_Success_For_Postcond; argument
3496 function Get_Return_Success_For_Postcond (Subp : Entity_Id) return Entity_Id subprogram3515 end Get_Return_Success_For_Postcond; argument