module Make: functor (N : Region_analysis_sig.Node) -> sig .. end
functor (
N
:
Region_analysis_sig.Node
) ->
sig
end
val after : N.abstract_value -> N.abstract_value N.Edge_Dict.t
N.abstract_value -> N.abstract_value N.Edge_Dict.t