Module type Gui_callstacks_manager.Input

module type Input = 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