sig
  module Value_results :
    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
end