let witness_list l = fun ~host ~path -> KEDSL.list_of_files ~host (List.map l ~f:(fun bin -> path // bin)) |> fun p -> object method is_done = p#is_done end