sig
type proj
type fct
val select_useful_things :
select_annot:bool ->
select_slice_pragma:bool -> Cil_types.kernel_function -> Spare_marks.proj
val get_marks :
Spare_marks.proj -> Cil_types.kernel_function -> Spare_marks.fct option
val key_visible : Spare_marks.fct -> PdgIndex.Key.t -> bool
val kf_visible : Spare_marks.proj -> Cil_types.kernel_function -> bool
end