module Eval_slevel:sig
..end
val dkey_callbacks : Value_parameters.category
module Computer:functor (
AnalysisParam
:
sig
val kf :Cil_types.kernel_function
val slevel :int
val initial_states :State_set.t
val active_behaviors :Eval_annots.ActiveBehaviors.t
val local_slevel_info :Local_slevel_types.local_slevel_info
end
) ->
sig
..end