Liveness (u.032c286d84dcaa468e03b1a9c90b8003.oxcaml-compiler.5.2.0minus39.doc.compiler-libs.optcomp.Cfg

type domain = domain

type error = error

type context = unit

type _ map =

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

val run : 
  Cfg.t ->
  ?max_iteration:int ->
  ?exnescape:domain ->
  init:domain ->
  map:'a map ->
  context ->
  ('a, error) Cfg_dataflow.Dataflow_result.t