Module Eval_slevel

module Eval_slevel: sig .. end
Value analysis of statements and functions bodies

Mark the analysis as aborted. It will be stopped at the next safe point


val dkey_callbacks : Log.category
module type Arg = sig .. end
module Computer: 
functor (AnalysisParam : Arg) -> sig .. end