sig
  module M :
    sig
      type t
      type t_call_info
      val is_bottom : t -> bool
      val merge : t -> t -> t
      val combine : t -> t -> t * t
      val pretty : Format.formatter -> t -> unit
    end
  val mark_to_prop_to_caller_input :
    PdgMarks.T_Config.M.t PdgMarks.t_call_m2m
  val mark_to_prop_to_called_output :
    PdgMarks.T_Config.M.t PdgMarks.t_call_m2m
end