Module type Lattice_type.With_Top_Opt

module type With_Top_Opt = sig .. end

type t 
val top_opt : t option
optional largest element