let witness_file bin = fun ~host ~path -> let p = KEDSL.single_file ~host (path // bin) in object method is_done = p#is_done end