Module Spare_marks.Config

module Config: sig .. end

module M: Spare_marks.BoolMark
val mark_to_prop_to_caller_input : Cil_types.stmt option ->
Db.Pdg.t ->
PdgMarks.select_elem ->
bool * Spare_marks.BoolMark.prop_mode ->
(bool * Spare_marks.BoolMark.prop_mode) option
val mark_to_prop_to_called_output : 'a ->
PdgTypes.Pdg.t ->
'b ->
bool * M.prop_mode ->
(bool * M.prop_mode) option