let
set_range_index t ri = e_app2 set_range_index t (interval ri)