Functor Region_analysis.Make

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

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