Module Value.Value_results

module Value_results: sig .. end

type results 

val get_results : unit -> results

val set_results : results -> unit

val merge : results ->
       results -> results

val change_callstacks : (Value_types.callstack -> Value_types.callstack) ->
       results -> results