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