Module Wp_gui.GuiSource

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