module type Input = sig .. end
sig
end
include Gui_types.S
val make_data_for_lvalue : Cil_types.lval -> Gui_types.gui_loc -> value Gui_callstacks_manager.data_by_callstack
Cil_types.lval -> Gui_types.gui_loc -> value Gui_callstacks_manager.data_by_callstack