Module type Lattice.Bot

type t
val bot : unit -> t
val is_bot : t -> bool