Region_analysis_sig.Node.Dict - LoopAnalysis plugin

sig
  type 'a t
  val create : int -> 'a -> 'a Region_analysis_sig.Node.Dict.t
  val get :
    'a Region_analysis_sig.Node.Dict.t -> Region_analysis_sig.Node.node -> 'a
  val set :
    'a Region_analysis_sig.Node.Dict.t ->
    Region_analysis_sig.Node.node -> 'a -> unit
  val iter :
    'a Region_analysis_sig.Node.Dict.t ->
    (Region_analysis_sig.Node.node -> 'a -> unit) -> unit
  val copy :
    'a Region_analysis_sig.Node.Dict.t -> 'a Region_analysis_sig.Node.Dict.t
end