functor (C : PdgMarks.Config->   sig     type t     type mark = C.M.t     type call_info = C.M.call_info     type fct = (mark, call_info) PdgIndex.FctIndex.t     val empty : unit -> t     val find_marks : t -> Cil_types.varinfo -> fct option     val mark_and_propagate :       t -> PdgTypes.Pdg.t -> mark PdgMarks.select -> unit   end