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