ocaml-base-compiler

Official release 4.14.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library ocamloptcomp
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 )