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 : Format.formatter -> PdgMarks.Mark.t -> unit end