module type HEsig = sig .. end
sig
end
type ti
type t
val create : int -> t
int -> t
val find : t -> Cil2cfg.CFG.E.t -> ti
t -> Cil2cfg.CFG.E.t -> ti
val replace : t -> Cil2cfg.CFG.E.t -> ti -> unit
t -> Cil2cfg.CFG.E.t -> ti -> unit