Module type Eval_slevel.Arg

module type Arg = sig .. end

val kf : Cil_types.kernel_function
val initial_states : State_set.t
val active_behaviors : Eval_annots.ActiveBehaviors.t