Module MakeNode.Edge_Dict

type 'a t
val set : 'a t -> node Fixpoint.Region_analysis.edge -> 'a -> unit
val get : 'a t -> node Fixpoint.Region_analysis.edge -> 'a
val create : unit -> 'a t
val iter : 'a t -> (node Fixpoint.Region_analysis.edge -> 'a -> unit) -> unit