Module Cfg_liveness.Liveness
type domain = Cfg_liveness.domaintype error = Cfg_liveness.errorval run :
Cfg.t ->
?max_iteration:int ->
?exnescape:Cfg_liveness.Liveness.domain ->
init:Cfg_liveness.Liveness.domain ->
map:'a Cfg_liveness.Liveness.map ->
Cfg_liveness.Liveness.context ->
('a, Cfg_liveness.Liveness.error) Cfg_dataflow.Dataflow_result.t