AbstractDomain.BottomLiftedUtils
val join : ('t -> 't -> 't) -> 't Types.bottom_lifted -> 't Types.bottom_lifted -> 't Types.bottom_lifted
val pp_bottom : F.formatter -> unit
val pp : (F.formatter -> 't -> unit) -> F.formatter -> 't Types.bottom_lifted -> unit