sig
module M = 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
end