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