Module type Sig.With_Bottom

type t
val bottom : t
val is_bottom : t -> bool