sig
type ti = annots
type t
val create : int -> t
val find : t -> Cil2cfg.edge -> ti
val find_all : t -> Cil2cfg.edge -> ti list
val add : t -> Cil2cfg.edge -> ti -> unit
val replace : t -> Cil2cfg.edge -> ti -> unit
val remove : t -> Cil2cfg.edge -> unit
val clear : t -> unit
end