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