Functor Region_analysis.Make

module Make: 
functor (N : Region_analysis_sig.Node-> sig .. end
Parameters:
N : Region_analysis_sig.Node

val after : N.abstract_value -> N.abstract_value N.Edge_Dict.t