Module Wp_gui.GuiSource

type selection =
| S_none
| S_fun of Frama_c_kernel.Kernel_function.t
| S_prop of Frama_c_kernel.Property.t
| S_call of call
class popup : unit -> object ... end