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