Make.D1
type t
val bot : t
val is_bot : t -> bool
val leq : t -> t -> bool
val join : t -> t -> t
val widen : t -> t -> t
val meet : t -> t -> t
val pp : Stdlib.Format.formatter -> t -> unit