module type Fct =sig
..end
type
mark
type
call_info
typefi =
(mark, call_info) PdgIndex.FctIndex.t
typet =
PdgTypes.Pdg.t * fi
val create : PdgTypes.Pdg.t -> t
val get_idx : t -> fi
typemark_info_inter =
mark PdgMarks.info_inter
val empty_to_prop : mark_info_inter
val mark_and_propagate : t ->
?to_prop:mark_info_inter ->
mark PdgMarks.select -> mark_info_inter