module Local_slevel_compute:sig
..end
Local_slevel.compute_sub_function_ref
val compute_sub_function : Kernel_function.t ->
Cil_types.stmt ->
Local_slevel_types.local_slevel_info ->
State_set.t -> Cvalue.Model.t * Base.SetLattice.t