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