package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `GuiSource.popup`Source

method on_click : (selection -> unit) -> unit

method on_prove : (selection -> unit) -> unit

method register : GMenu.menu GMenu.factory ->
  Frama_c_gui.Design.main_window_extension_points ->
  button:int ->
  Frama_c_gui.Pretty_source.localizable ->
  unit

package frama-c

Class GuiSource.popupSource

Class `GuiSource.popup`Source