Module Spare_marks

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
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