Module type Lattice.Top

type t
val top : unit -> t
val is_top : t -> bool