let find_closest lo hi t = match find_closest_aux lo hi t with Some (n,d) -> let lo', hi', v = node_contents n in lo', hi', v, d | None -> raise Empty_tree