module Spare_marks:sig
..end
type
proj
type
fct
val select_useful_things : select_annot:bool ->
select_slice_pragma:bool -> Cil_types.kernel_function -> proj
val get_marks : proj -> Cil_types.kernel_function -> fct option
Not_found
when the function is not marked. It might be the case
that it is nonetheless visible, but has no marks because of a Top PDG.val key_visible : fct -> PdgIndex.Key.t -> bool
val kf_visible : proj -> Cil_types.kernel_function -> bool
Useful mainly if there has been some Pdg.Top
Useful only if there has been some Pdg.Top