Up
–
frama-c-wp
»
Wp_gui
» GuiNavigator
Module
Wp_gui.GuiNavigator
val
make :
Frama_c_gui.Design.main_window_extension_points
->
unit