sig   module M : Mark   val mark_to_prop_to_caller_input : M.t PdgMarks.call_m2m   val mark_to_prop_to_called_output : M.t PdgMarks.call_m2m end