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