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