let
top t =
match
top_with_key t
with
|
None
->
None
|
Some
(_, v)
->
Some
v