module Config:sig
..end
module M:sig
..end
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 ->
'b ->
'c ->
bool * M.prop_mode -> (bool * M.prop_mode) option