Searched refs:Try_Fold (Results 1 – 7 of 7) sorted by relevance
2650 function Try_Fold is new Traverse_Func (May_Fold); subprogram2689 if Try_Fold (Pred) = OK then
3184 function Try_Fold is new Traverse_Func (May_Fold); subprogram3223 if Try_Fold (Pred) = OK then
3233 function Try_Fold is new Traverse_Func (May_Fold); subprogram3277 if Try_Fold (Pred) = OK then