Functor Calculus.Cfg

module Cfg: 
functor (W : Mcfg.S) -> sig .. end
Parameters:
W : Mcfg.S

val compute : Cil2cfg.t ->
WpStrategy.strategy ->
W.t_prop list * (Format.formatter -> Cil2cfg.edge -> unit)