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