Parameter `Backward.T`

type domain = D.t

type error

type context

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

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

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

Parameter Backward.T