Module AbstractDomain.BottomLiftedUtils

val pp_bottom : Stdlib.Format.formatter -> unit