module Config:sig
..end
module M: Marks.BoolMark
val mark_to_prop_to_caller_input : Cil_types.stmt option ->
Db.Pdg.t ->
PdgMarks.t_select_elem ->
bool * Marks.BoolMark.prop_mode -> (bool * 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