Module Graph.ForwardAnalysis

Forward dataflow analysis

Parameters

module D : Domain

Signature

val compute : t -> wto -> D.t -> D.t VTable.t