functor (C : CfgTypes.Cfg->
  sig
    type 'a t = 'a * 'Vector.t
    val create : C.cfg -> '-> 'a * 'Vector.t
    val get : 'a * 'Vector.t -> C.node -> 'a
    val set : 'a * 'Vector.t -> C.node -> '-> unit
    val merged : 'a * 'Vector.t -> C.node -> ('-> 'a) -> 'a
    val merge : 'a * 'Vector.t -> C.node -> ('-> 'a) -> unit
    val merge_op :
      ('-> '-> 'a) -> 'a * 'Vector.t -> C.node -> '-> unit
    val merged_op :
      ('-> '-> 'a) -> 'a * 'Vector.t -> C.node -> '-> 'a
    val iter : (C.node -> '-> unit) -> 'b * 'Vector.t -> unit
  end