Module Frama_c_very_first.Gui_init

Frama-C GUI early initialization.

val is_gui : bool