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