 |
map_tail_Int |
Function (ROM Call 0x3BC) |
Applies an extended function to all elements in the list.
map_tail_Int is very similar to map_tail, except callback function f has
one additional parameter n. Each time f is called, the parameter n
passed to map_tail_Int is passed to f. Also, the callback function is not void but
returns a Boolean value (TRUE or FALSE). The result
of map_tail_Int is the logical OR of all the values returned by f.
Uses: delete_between, push_offset_array, push_quantum, top_estack
Used by: push_csolve, push_czeros, push_max, push_min, push_nsolve, push_solve, push_zeros, replace_top_with_post_simplified