module Value_results:sig
..end
type
results
val get_results : unit -> results
val set_results : results -> unit
val merge : results ->
results -> results
val change_callstacks : (Value_types.callstack -> Value_types.callstack) ->
results -> results