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