sig
  type t
  type t_call_info
  val is_bottom : PdgMarks.T_Mark.t -> bool
  val merge : PdgMarks.T_Mark.t -> PdgMarks.T_Mark.t -> PdgMarks.T_Mark.t
  val combine :
    PdgMarks.T_Mark.t ->
    PdgMarks.T_Mark.t -> PdgMarks.T_Mark.t * PdgMarks.T_Mark.t
  val pretty : Format.formatter -> PdgMarks.T_Mark.t -> unit
end