Module `Cfg_dataflow.Backward`

Parameters

module D : Domain_S

module T : Backward_transfer with type domain = D.t

type domain = D.t

type error = T.error

type context = T.context

type _ map =

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