Searched refs:List_extract (Results 1 – 2 of 2) sorted by relevance
497 fun <- List_extract
653 List List_extract( List input ){ in List_extract() function