Module type Cil2cfg.HEsig


module type HEsig = sig .. end
signature of a mapping table from cfg edges to some information.

type ti 
type t 
val create : int -> t
val find : t -> Cil2cfg.CFG.E.t -> ti
val replace : t -> Cil2cfg.CFG.E.t -> ti -> unit