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