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)]
              )