let
request_targets_ids t = get_ui t |>
fun
ui
->
ui.explorer.request_targets_ids