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