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