method menu_ctx = function
None -> []
| Some ele ->
match location_of_ele ele with
None -> []
| Some loc ->
(match loc.Odoc_info.loc_impl with
None -> []
| Some (file,char) ->
[`I ("Implementation",
fun () -> f_open_file ~char file)]
) @
(match loc.Odoc_info.loc_inter with
None -> []
| Some (file,char) ->
[`I ("Interface",
fun () -> f_open_file ~char file)]
)