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