module Make: functor (W : Mcfg.S) -> sig .. end
functor (
W
:
Mcfg.S
) ->
sig
end
val process_global_init : W.t_env -> Cil_types.kernel_function -> W.t_prop -> W.t_prop
W.t_env -> Cil_types.kernel_function -> W.t_prop -> W.t_prop