Functor Db.Pdg.F_FctMarks


module F_FctMarks: 
functor (M : PdgMarks.T_Mark) -> PdgMarks.T_Fct with type t_mark = M.t and type t_call_info = M.t_call_info
F_FctMarks can be used to propagate marks It also provides information for an interprocedural analysis. Alternatively, one can use F_ProjMarks below.
Parameters:
M : PdgMarks.T_Mark