sig
  type t
  type call_info
  val is_bottom : PdgMarks.Mark.t -> bool
  val merge : PdgMarks.Mark.t -> PdgMarks.Mark.t -> PdgMarks.Mark.t
  val combine :
    PdgMarks.Mark.t -> PdgMarks.Mark.t -> PdgMarks.Mark.t * PdgMarks.Mark.t
  val pretty : Stdlib.Format.formatter -> PdgMarks.Mark.t -> unit
end