Module type `Cfg_dataflow.Backward_S`

type domain

type error

type context

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

Module type Cfg_dataflow.Backward_S

Module type `Cfg_dataflow.Backward_S`