Previous  Up  Next

Module Eva.Eva_results

module Eva_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

Change the callstacks for the results for which this is meaningful. For technical reasons, the top of the callstack must currently be preserved.