Module type Lattice_type.With_Top_Opt

type t
val top_opt : t option

optional largest element