Module type Sig.WITH_BOTTOM

Equips lattices with a bottom: t and test if the lattice element is a Bottom.

type t

val bottom : unit -> t

val is_bottom : t -> bool