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