Function defineFoldedResultList