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