Backward (ocaml.Dataflow.Backward)

Parameters

module D : DOMAIN

Signature

val analyze : 
  ?exnhandler:(D.t -> D.t) ->
  ?exnescape:D.t ->
  transfer:(Mach.instruction -> next:D.t -> exn:D.t -> D.t) ->
  Mach.instruction ->
  D.t * (int -> D.t)