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