Module type `Cfg_dataflow.Backward_transfer`

type domain

type error

type context

val basic : 
  domain ->
  Cfg.basic Cfg.instruction ->
  context ->
  (domain, error) Stdlib.result

val terminator : 
  domain ->
  exn:domain ->
  Cfg.terminator Cfg.instruction ->
  context ->
  (domain, error) Stdlib.result

val exception_ : domain -> context -> (domain, error) Stdlib.result

Module type Cfg_dataflow.Backward_transfer