Module type Lattice_type.With_Top_Opt

module type With_Top_Opt = sig .. end

type t 
val top_opt : t option

optional largest element