Parameter `Backward.T`

type domain = D.t

type error

type context

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

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

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

Parameter Backward.T