external dynamic_cast : Gui_action_adapter.t -> t option =
    "viewer_dynamic_cast"