Module `Cfg_liveness.Liveness`

type domain = Cfg_liveness.domain

type error = Cfg_liveness.error

type context = unit

type _ map =

| Block : Cfg_liveness.Liveness.domain Label.Tbl.t Cfg_liveness.Liveness.map
| Instr : Cfg_liveness.Liveness.domain InstructionId.Tbl.t Cfg_liveness.Liveness.map
| Both : (Cfg_liveness.Liveness.domain InstructionId.Tbl.t * Cfg_liveness.Liveness.domain Label.Tbl.t) Cfg_liveness.Liveness.map

val 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

Module Cfg_liveness.Liveness

Module `Cfg_liveness.Liveness`