Module 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)