module Eval_slevel: sig .. end
sig
end
Mark the analysis as aborted. It will be stopped at the next safe point
val dkey_callbacks : Log.category
Log.category
module type Arg = sig .. end
module Computer: functor (AnalysisParam : Arg) -> sig .. end
functor (
AnalysisParam
:
Arg
) ->