Module type PdgMarks.Fct

module type Fct = sig .. end

type mark 
type call_info 
type fi = (mark, call_info) PdgIndex.FctIndex.t 
type t = PdgTypes.Pdg.t * fi 
val create : PdgTypes.Pdg.t -> t
val get_idx : t -> fi
type mark_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